Skip to content

Actions: hyperpolymath/affinescript

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

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