Skip to content

Actions: hyperpolymath/affinescript

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,369 workflow runs
1,369 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
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… CodeQL Security Analysis #1244: Commit 41dfce9 pushed by hyperpolymath
49s main
main
49s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) CodeQL Security Analysis #1243: Pull request #640 opened by hyperpolymath
39s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
39s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold CodeQL Security Analysis #1242: Pull request #639 synchronize by hyperpolymath
45s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
45s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold CodeQL Security Analysis #1241: Pull request #639 opened by hyperpolymath
36s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
36s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… CodeQL Security Analysis #1240: Commit 1eaff91 pushed by hyperpolymath
2m 6s main
main
2m 6s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) CodeQL Security Analysis #1239: Pull request #638 synchronize by hyperpolymath
1m 33s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
1m 33s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) CodeQL Security Analysis #1238: Pull request #638 opened by hyperpolymath
43s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
43s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … CodeQL Security Analysis #1237: Commit f005a74 pushed by hyperpolymath
41s main
main
41s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile CodeQL Security Analysis #1236: Pull request #637 opened by hyperpolymath
38s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
38s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… CodeQL Security Analysis #1235: Commit 55ae8bb pushed by hyperpolymath
3m 19s main
main
3m 19s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 CodeQL Security Analysis #1234: Pull request #636 opened by hyperpolymath
38s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
38s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) CodeQL Security Analysis #1233: Pull request #635 synchronize by hyperpolymath
1m 26s claude/fix-gate-dune-path
claude/fix-gate-dune-path
1m 26s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… CodeQL Security Analysis #1232: Commit 8859206 pushed by hyperpolymath
45s main
main
45s
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