Skip to content

Actions: hyperpolymath/affinescript

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,281 workflow runs
1,281 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(ci): soundness gate must not assume bare dune on PATH (greens main) CodeQL Security Analysis #1231: Pull request #635 opened by hyperpolymath
50s claude/fix-gate-dune-path
claude/fix-gate-dune-path
50s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… CodeQL Security Analysis #1230: Commit 874e36c pushed by hyperpolymath
37s main
main
37s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly CodeQL Security Analysis #1229: Pull request #634 opened by hyperpolymath
40s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
40s
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