Skip to content

Actions: hyperpolymath/affinescript

Actions

Stdlib Naming Convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stdlib-naming.yml
1,227 workflow runs
1,227 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): soundness gate must not assume bare dune on PATH (greens main) Stdlib Naming Convention #1027: Pull request #635 opened by hyperpolymath
7s claude/fix-gate-dune-path
claude/fix-gate-dune-path
7s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Stdlib Naming Convention #1026: Commit 874e36c pushed by hyperpolymath
8s main
main
8s
feat(formal): Wave 3 capstone — quantitative typing tracks usage soundly Stdlib Naming Convention #1025: Pull request #634 opened by hyperpolymath
11s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
11s
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Stdlib Naming Convention #1024: Commit f020a6f pushed by hyperpolymath
8s main
main
8s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Stdlib Naming Convention #1023: Pull request #633 synchronize by hyperpolymath
8s claude/fence-stub-returns
claude/fence-stub-returns
8s
fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls Stdlib Naming Convention #1022: Pull request #633 opened by hyperpolymath
11s claude/fence-stub-returns
claude/fence-stub-returns
11s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Stdlib Naming Convention #1021: Commit 381ca17 pushed by hyperpolymath
9s main
main
9s
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usage Stdlib Naming Convention #1020: Pull request #632 opened by hyperpolymath
19s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
19s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Stdlib Naming Convention #1019: Commit 65c2ae3 pushed by hyperpolymath
7s main
main
7s
Harden the soundness-ledger gate: content-binding, stamp-enforcement, xfail pin-liveness Stdlib Naming Convention #1018: Pull request #631 opened by hyperpolymath
10s claude/soundness-gate-hardening
claude/soundness-gate-hardening
10s
chore(guix): substitute leftover template placeholders; fix licence c… Stdlib Naming Convention #1017: Commit 13c02ba pushed by hyperpolymath
12s main
main
12s
chore(guix): substitute leftover template placeholders; fix licence comment Stdlib Naming Convention #1016: Pull request #630 synchronize by hyperpolymath
9s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
9s
chore(guix): substitute leftover template placeholders; fix licence comment Stdlib Naming Convention #1015: Pull request #630 opened by hyperpolymath
10s claude/practical-mendel-liz1c3
claude/practical-mendel-liz1c3
10s
feat(formal): grow P-2 to the STLC with functions + the substitution … Stdlib Naming Convention #1014: Commit 12618eb pushed by hyperpolymath
10s main
main
10s
feat(formal): grow P-2 to the STLC with functions + the substitution lemma Stdlib Naming Convention #1013: Pull request #629 opened by hyperpolymath
10s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
10s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… Stdlib Naming Convention #1012: Commit dd6c19e pushed by hyperpolymath
8s main
main
8s
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundness-ledger guard Stdlib Naming Convention #1011: Pull request #628 opened by hyperpolymath
10s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
10s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… Stdlib Naming Convention #1010: Commit 16a849a pushed by hyperpolymath
11s main
main
11s
feat(formal): grow P-3 to a real borrow graph (loan edges + move-locality) Stdlib Naming Convention #1009: Pull request #627 opened by hyperpolymath
7s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
7s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… Stdlib Naming Convention #1008: Commit 769d6ff pushed by hyperpolymath
11s main
main
11s
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4) Stdlib Naming Convention #1007: Pull request #626 opened by hyperpolymath
8s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
8s
Update SOUNDNESS.adoc Stdlib Naming Convention #1006: Commit f28f525 pushed by hyperpolymath
8s main
main
8s
docs: make soundness status a single, test-anchored source of truth (… Stdlib Naming Convention #1005: Commit e6c155f pushed by hyperpolymath
11s main
main
11s
docs: make soundness status a single, test-anchored source of truth Stdlib Naming Convention #1004: Pull request #622 synchronize by hyperpolymath
10s claude/modest-cori-kzjtcy
claude/modest-cori-kzjtcy
10s
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… Stdlib Naming Convention #1003: Commit bfa312b pushed by hyperpolymath
8s main
main
8s