Skip to content

Actions: hyperpolymath/affinescript

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,403 workflow runs
1,403 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
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… CodeQL Security Analysis #1228: Commit f020a6f pushed by hyperpolymath
44s main
main
44s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls CodeQL Security Analysis #1227: Pull request #633 synchronize by hyperpolymath
53s claude/fence-stub-returns
claude/fence-stub-returns
53s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls CodeQL Security Analysis #1226: Pull request #633 opened by hyperpolymath
45s claude/fence-stub-returns
claude/fence-stub-returns
45s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… CodeQL Security Analysis #1225: Commit 381ca17 pushed by hyperpolymath
39s main
main
39s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage CodeQL Security Analysis #1224: Pull request #632 opened by hyperpolymath
47s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
47s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… CodeQL Security Analysis #1223: Commit 65c2ae3 pushed by hyperpolymath
38s main
main
38s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness CodeQL Security Analysis #1222: Pull request #631 opened by hyperpolymath
37s claude/soundness-gate-hardening
claude/soundness-gate-hardening
37s
chore(guix): substitute leftover template placeholders; fix licence c… CodeQL Security Analysis #1221: Commit 13c02ba pushed by hyperpolymath
39s main
main
39s
chore(guix): substitute leftover template placeholders; fix licence comment CodeQL Security Analysis #1220: Pull request #630 synchronize by hyperpolymath
58s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
58s
chore(guix): substitute leftover template placeholders; fix licence comment CodeQL Security Analysis #1219: Pull request #630 opened by hyperpolymath
42s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
42s
feat(formal): grow P-2 to the STLC with functions + the substitution … CodeQL Security Analysis #1218: Commit 12618eb pushed by hyperpolymath
44s main
main
44s
feat(formal): grow P-2 to the STLC with functions + the substitution lemma CodeQL Security Analysis #1217: Pull request #629 opened by hyperpolymath
43s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
43s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… CodeQL Security Analysis #1216: Commit dd6c19e pushed by hyperpolymath
39s main
main
39s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundness-ledger guard CodeQL Security Analysis #1215: Pull request #628 opened by hyperpolymath
41s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
41s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… CodeQL Security Analysis #1214: Commit 16a849a pushed by hyperpolymath
41s main
main
41s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) CodeQL Security Analysis #1213: Pull request #627 opened by hyperpolymath
44s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
44s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… CodeQL Security Analysis #1212: Commit 769d6ff pushed by hyperpolymath
43s main
main
43s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4) CodeQL Security Analysis #1211: Pull request #626 opened by hyperpolymath
36s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
36s
Update SOUNDNESS.adoc CodeQL Security Analysis #1210: Commit f28f525 pushed by hyperpolymath
49s main
main
49s
docs: make soundness status a single, test-anchored source of truth (… CodeQL Security Analysis #1209: Commit e6c155f pushed by hyperpolymath
44s main
main
44s
docs: make soundness status a single, test-anchored source of truth CodeQL Security Analysis #1208: Pull request #622 synchronize by hyperpolymath
37s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
37s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… CodeQL Security Analysis #1207: Commit bfa312b pushed by hyperpolymath
43s main
main
43s
docs: make soundness status a single, test-anchored source of truth CodeQL Security Analysis #1206: Pull request #622 opened by hyperpolymath
44s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
44s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4 CodeQL Security Analysis #1205: Pull request #621 opened by hyperpolymath
46s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
46s
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… CodeQL Security Analysis #1204: Commit ac6e574 pushed by hyperpolymath
40s main
main
40s