Skip to content

Actions: hyperpolymath/my-lang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
309 workflow runs
309 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Idris2 F1.4: separated context + both products + progress (toward #10… CodeQL Security Analysis #234: Commit d21bcad pushed by hyperpolymath
51s main
main
51s
Idris2 F1.4: separated context + both products + progress (toward #108 preservation) CodeQL Security Analysis #233: Pull request #112 opened by hyperpolymath
48s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
48s
QTT solo-core mechanisation: F1.4 + R2–R5 + M1 + S1–S3c + E4 + contra… CodeQL Security Analysis #232: Commit 8957363 pushed by hyperpolymath
43s main
main
43s
QTT solo-core mechanisation: F1.4 + R2–R5 + M1 + S1–S3c + E4 + contractile overhaul CodeQL Security Analysis #231: Pull request #111 synchronize by hyperpolymath
52s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
52s
CodeQL Security Analysis CodeQL Security Analysis #230: Scheduled
45s main
main
45s
chore(contractiles): re-author my-lang contractiles from rsr-template… CodeQL Security Analysis #229: Commit 45b770b pushed by hyperpolymath
43s main
main
43s
chore: re-author my-lang contractiles (bust/dust multi-file design) CodeQL Security Analysis #228: Pull request #110 opened by hyperpolymath
45s claude/dreamy-hypatia-O8XHo-contractiles
claude/dreamy-hypatia-O8XHo-contractiles
45s
chore: gitignore Coq .lia.cache (Lia tactic build artifact from F1.4) CodeQL Security Analysis #227: Commit 3fd42b1 pushed by hyperpolymath
1m 1s main
main
1m 1s
docs: realign tracking + machine-readable state with F1.4 + kernel redesign CodeQL Security Analysis #226: Pull request #106 opened by hyperpolymath
37s claude/dreamy-hypatia-O8XHo-docs
claude/dreamy-hypatia-O8XHo-docs
37s
Merge branch 'docs/foundations-bridge': FOUNDATIONS_BRIDGE.md CodeQL Security Analysis #225: Commit 9fbb6be pushed by hyperpolymath
52s main
main
52s
proof(solo-core): QTT substitution lemma + preservation (axiom-free) … CodeQL Security Analysis #224: Commit d174c06 pushed by hyperpolymath
39s main
main
39s
F1.4 phases 3b–4: multiplicative product ⊗ + QTT substitution lemma & preservation (axiom-free) CodeQL Security Analysis #223: Pull request #105 synchronize by hyperpolymath
1m 29s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
1m 29s
proof(solo-core): multiplicative product (X) (TTensor + let-pair) — F… CodeQL Security Analysis #222: Commit afa0e29 pushed by hyperpolymath
45s main
main
45s
F1.4 phase 3b: multiplicative product ⊗ (TTensor + let-pair) CodeQL Security Analysis #221: Pull request #104 opened by hyperpolymath
51s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
51s
proof(solo-core): coherent additive product & (TWith) — F1.4 phase 3a CodeQL Security Analysis #220: Commit d7036ae pushed by hyperpolymath
45s main
main
45s
F1.4 solo-core kernel: separated QTT context (phase 2) + coherent additive product (phase 3a) CodeQL Security Analysis #219: Pull request #103 synchronize by hyperpolymath
42s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
42s
F1.4 solo-core kernel: separated QTT context (phase 2) + coherent additive product (phase 3a) CodeQL Security Analysis #218: Pull request #103 opened by hyperpolymath
56s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
56s
proof(solo-core): separated QTT context (type-ctx + usage vector) — F… CodeQL Security Analysis #217: Commit b1dec0a pushed by hyperpolymath
35s main
main
35s
proof(solo-core): QTT context-algebra lemmas (F1.4 substitution-lemma foundation) CodeQL Security Analysis #216: Pull request #102 synchronize by hyperpolymath
45s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
45s
proof(solo-core): QTT context-algebra lemmas (F1.4 substitution-lemma foundation) CodeQL Security Analysis #215: Pull request #102 synchronize by hyperpolymath
45s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
45s
proof(solo-core): QTT context-algebra lemmas (F1.4 substitution-lemma foundation) CodeQL Security Analysis #214: Pull request #102 opened by hyperpolymath
47s claude/dreamy-hypatia-O8XHo
claude/dreamy-hypatia-O8XHo
47s
security: standardize secret scanning on TruffleHog (#101) CodeQL Security Analysis #213: Commit 3b18c06 pushed by hyperpolymath
2m 17s main
main
2m 17s
security: standardize secret scanning on TruffleHog CodeQL Security Analysis #212: Pull request #101 synchronize by hyperpolymath
2m 11s campaign-253/migrate-frontier-practices-deno
campaign-253/migrate-frontier-practices-deno
2m 11s
CodeQL Security Analysis CodeQL Security Analysis #211: Scheduled
43s main
main
43s
Update issue templates (#100) CodeQL Security Analysis #210: Commit b3b31a2 pushed by hyperpolymath
50s main
main
50s