Skip to content

Actions: hyperpolymath/affinescript

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,248 workflow runs
1,248 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(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 CI #1223: Pull request #636 opened by hyperpolymath
3m 54s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 54s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) CI #1222: Pull request #635 synchronize by hyperpolymath
4m 18s claude/fix-gate-dune-path
claude/fix-gate-dune-path
4m 18s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… CI #1221: Commit 8859206 pushed by hyperpolymath
1m 53s main
main
1m 53s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) CI #1220: Pull request #635 opened by hyperpolymath
3m 45s claude/fix-gate-dune-path
claude/fix-gate-dune-path
3m 45s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… CI #1219: Commit 874e36c pushed by hyperpolymath
2m 49s main
main
2m 49s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly CI #1218: Pull request #634 opened by hyperpolymath
3m 55s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 55s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… CI #1217: Commit f020a6f pushed by hyperpolymath
2m 46s main
main
2m 46s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls CI #1216: Pull request #633 synchronize by hyperpolymath
3m 30s claude/fence-stub-returns
claude/fence-stub-returns
3m 30s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls CI #1215: Pull request #633 opened by hyperpolymath
3m 46s claude/fence-stub-returns
claude/fence-stub-returns
3m 46s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… CI #1214: Commit 381ca17 pushed by hyperpolymath
3m 36s main
main
3m 36s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage CI #1213: Pull request #632 opened by hyperpolymath
3m 38s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 38s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… CI #1212: Commit 65c2ae3 pushed by hyperpolymath
3m 50s main
main
3m 50s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness CI #1211: Pull request #631 opened by hyperpolymath
3m 41s claude/soundness-gate-hardening
claude/soundness-gate-hardening
3m 41s
chore(guix): substitute leftover template placeholders; fix licence c… CI #1210: Commit 13c02ba pushed by hyperpolymath
3m 43s main
main
3m 43s
chore(guix): substitute leftover template placeholders; fix licence comment CI #1209: Pull request #630 synchronize by hyperpolymath
3m 57s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
3m 57s
chore(guix): substitute leftover template placeholders; fix licence comment CI #1208: Pull request #630 opened by hyperpolymath
2m 25s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
2m 25s
feat(formal): grow P-2 to the STLC with functions + the substitution … CI #1207: Commit 12618eb pushed by hyperpolymath
3m 24s main
main
3m 24s
feat(formal): grow P-2 to the STLC with functions + the substitution lemma CI #1206: Pull request #629 opened by hyperpolymath
3m 50s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
3m 50s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… CI #1205: Commit dd6c19e pushed by hyperpolymath
3m 37s main
main
3m 37s
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