Skip to content

Actions: hyperpolymath/affinescript

Actions

Stdlib Naming Convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stdlib-naming.yml
1,069 workflow runs
1,069 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(release): restore release binaries — immutable-release draft flow… Stdlib Naming Convention #1044: Commit b8ba479 pushed by hyperpolymath
7s main
main
7s
fix(release): restore release binaries — immutable-release draft flow + portable BSD sed Stdlib Naming Convention #1043: Pull request #641 opened by hyperpolymath
11s claude/inspiring-newton-dg5wov
claude/inspiring-newton-dg5wov
11s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Stdlib Naming Convention #1042: Commit 5a42e6e pushed by hyperpolymath
7s main
main
7s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Stdlib Naming Convention #1041: Pull request #640 synchronize by hyperpolymath
11s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
11s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Stdlib Naming Convention #1040: Commit 41dfce9 pushed by hyperpolymath
10s main
main
10s
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v) Stdlib Naming Convention #1039: Pull request #640 opened by hyperpolymath
10s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
10s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Stdlib Naming Convention #1038: Pull request #639 synchronize by hyperpolymath
11s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
11s
docs(interp): CESK port plan for #623 + formal: Rows.v record-row scaffold Stdlib Naming Convention #1037: Pull request #639 opened by hyperpolymath
8s claude/interp-port-and-rows-scaffold
claude/interp-port-and-rows-scaffold
8s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Stdlib Naming Convention #1036: Commit 1eaff91 pushed by hyperpolymath
54s main
main
54s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Stdlib Naming Convention #1035: Pull request #638 synchronize by hyperpolymath
14s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
14s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + plan) Stdlib Naming Convention #1034: Pull request #638 opened by hyperpolymath
50s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
50s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Stdlib Naming Convention #1033: Commit f005a74 pushed by hyperpolymath
12s main
main
12s
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage profile Stdlib Naming Convention #1032: Pull request #637 opened by hyperpolymath
9s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
9s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Stdlib Naming Convention #1031: Commit 55ae8bb pushed by hyperpolymath
23s main
main
23s
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wave 1–3 Stdlib Naming Convention #1030: Pull request #636 opened by hyperpolymath
13s claude/lucid-cray-4a22dp
claude/lucid-cray-4a22dp
13s
fix(ci): soundness gate must not assume bare dune on PATH (greens main) Stdlib Naming Convention #1029: Pull request #635 synchronize by hyperpolymath
31s claude/fix-gate-dune-path
claude/fix-gate-dune-path
31s
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Stdlib Naming Convention #1028: Commit 8859206 pushed by hyperpolymath
10s main
main
10s
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