Skip to content

Actions: hyperpolymath/affinescript

Actions

Semgrep SAST

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
semgrep.yml
1,375 workflow runs
1,375 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
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Semgrep SAST #1225: Commit 65c2ae3 pushed by hyperpolymath
52s main
main
52s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness Semgrep SAST #1224: Pull request #631 opened by hyperpolymath
50s claude/soundness-gate-hardening
claude/soundness-gate-hardening
50s
chore(guix): substitute leftover template placeholders; fix licence c… Semgrep SAST #1223: Commit 13c02ba pushed by hyperpolymath
54s main
main
54s
chore(guix): substitute leftover template placeholders; fix licence comment Semgrep SAST #1222: Pull request #630 synchronize by hyperpolymath
54s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
54s
chore(guix): substitute leftover template placeholders; fix licence comment Semgrep SAST #1221: Pull request #630 opened by hyperpolymath
56s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
56s
feat(formal): grow P-2 to the STLC with functions + the substitution … Semgrep SAST #1220: Commit 12618eb pushed by hyperpolymath
50s main
main
50s
feat(formal): grow P-2 to the STLC with functions + the substitution lemma Semgrep SAST #1219: Pull request #629 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… Semgrep SAST #1218: Commit dd6c19e pushed by hyperpolymath
51s main
main
51s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundness-ledger guard Semgrep SAST #1217: Pull request #628 opened by hyperpolymath
49s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
49s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… Semgrep SAST #1216: Commit 16a849a pushed by hyperpolymath
51s main
main
51s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) Semgrep SAST #1215: Pull request #627 opened by hyperpolymath
54s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
54s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… Semgrep SAST #1214: Commit 769d6ff pushed by hyperpolymath
49s main
main
49s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4) Semgrep SAST #1213: Pull request #626 opened by hyperpolymath
49s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
49s
Update SOUNDNESS.adoc Semgrep SAST #1212: Commit f28f525 pushed by hyperpolymath
49s main
main
49s
docs: make soundness status a single, test-anchored source of truth (… Semgrep SAST #1211: Commit e6c155f pushed by hyperpolymath
56s main
main
56s
docs: make soundness status a single, test-anchored source of truth Semgrep SAST #1210: Pull request #622 synchronize by hyperpolymath
53s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
53s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… Semgrep SAST #1209: Commit bfa312b pushed by hyperpolymath
50s main
main
50s
docs: make soundness status a single, test-anchored source of truth Semgrep SAST #1208: Pull request #622 opened by hyperpolymath
52s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
52s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4 Semgrep SAST #1207: Pull request #621 opened by hyperpolymath
52s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
52s
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… Semgrep SAST #1206: Commit ac6e574 pushed by hyperpolymath
48s main
main
48s
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 seed Semgrep SAST #1205: Pull request #620 opened by hyperpolymath
51s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
51s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Semgrep SAST #1204: Commit 85e3f0d pushed by hyperpolymath
1m 19s main
main
1m 19s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) Semgrep SAST #1203: Pull request #618 synchronize by hyperpolymath
59s claude/awesome-edison-3711ps
claude/awesome-edison-3711ps
59s
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619) Semgrep SAST #1202: Commit 88a0cf0 pushed by hyperpolymath
53s main
main
53s
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt Semgrep SAST #1201: Pull request #619 opened by hyperpolymath
55s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
55s