Skip to content

Actions: hyperpolymath/affinescript

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,404 workflow runs
1,404 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): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundness-ledger guard CI #1204: Pull request #628 opened by hyperpolymath
3m 47s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
3m 47s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… CI #1203: Commit 16a849a pushed by hyperpolymath
3m 46s main
main
3m 46s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) CI #1202: Pull request #627 opened by hyperpolymath
3m 43s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 43s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… CI #1201: Commit 769d6ff pushed by hyperpolymath
3m 41s main
main
3m 41s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4) CI #1200: Pull request #626 opened by hyperpolymath
3m 53s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 53s
Update SOUNDNESS.adoc CI #1199: Commit f28f525 pushed by hyperpolymath
3m 36s main
main
3m 36s
docs: make soundness status a single, test-anchored source of truth (… CI #1198: Commit e6c155f pushed by hyperpolymath
3m 55s main
main
3m 55s
docs: make soundness status a single, test-anchored source of truth CI #1197: Pull request #622 synchronize by hyperpolymath
3m 39s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
3m 39s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… CI #1196: Commit bfa312b pushed by hyperpolymath
1m 30s main
main
1m 30s
docs: make soundness status a single, test-anchored source of truth CI #1195: Pull request #622 opened by hyperpolymath
3m 41s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
3m 41s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/F-3/F-4 CI #1194: Pull request #621 opened by hyperpolymath
3m 58s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 58s
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… CI #1193: Commit ac6e574 pushed by hyperpolymath
3m 41s main
main
3m 41s
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 seed CI #1192: Pull request #620 opened by hyperpolymath
3m 43s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 43s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … CI #1191: Commit 85e3f0d pushed by hyperpolymath
4m 10s main
main
4m 10s
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) CI #1190: Pull request #618 synchronize by hyperpolymath
4m 0s claude/awesome-edison-3711ps
claude/awesome-edison-3711ps
4m 0s
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619) CI #1189: Commit 88a0cf0 pushed by hyperpolymath
4m 36s main
main
4m 36s
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt CI #1188: Pull request #619 opened by hyperpolymath
3m 52s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
3m 52s
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (… CI #1187: Commit 33a4bfb pushed by hyperpolymath
3m 52s main
main
3m 52s
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration CI #1186: Pull request #617 opened by hyperpolymath
3m 48s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
3m 48s
Feat/solo core metatheory proofs (#614) CI #1185: Commit 39299c3 pushed by hyperpolymath
24m 26s main
main
24m 26s
Feat/solo core metatheory proofs CI #1184: Pull request #614 synchronize by hyperpolymath
24m 56s feat/solo-core-metatheory-proofs
feat/solo-core-metatheory-proofs
24m 56s
Feat/solo core metatheory proofs CI #1183: Pull request #614 synchronize by hyperpolymath
10s feat/solo-core-metatheory-proofs
feat/solo-core-metatheory-proofs
10s
fix(codegen): uniform heap representation for variants — fixes mixed-… CI #1182: Commit 2aa00ff pushed by hyperpolymath
9m 11s main
main
9m 11s
fix(codegen): uniform heap variant representation (fixes mixed-rep match) CI #1181: Pull request #613 opened by hyperpolymath
6m 50s claude/variant-rep-fix
claude/variant-rep-fix
6m 50s
fix(codegen): support nested patterns inside tuple patterns (WASM) CI #1180: Commit 0f8e6c5 pushed by hyperpolymath
9m 50s main
main
9m 50s