Skip to content

Actions: hyperpolymath/affinescript

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
573 workflow runs
573 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
Update README.adoc (#667) Mirror to Git Forges #573: Commit 9e1861b pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): real-lift R-mem (kernel) — linear memory + heap tuple r… Mirror to Git Forges #572: Commit 59dd0f7 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh… Mirror to Git Forges #571: Commit ea496bd pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): real-lift R2 — structured conditionals (fuel-indexed we… Mirror to Git Forges #570: Commit bfa3c70 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(ci): package-registry provenance (#662) Mirror to Git Forges #569: Commit 15a2087 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(ci): attest build provenance (#661) Mirror to Git Forges #568: Commit 900ac3a pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(clade): backfill [status] lifecycle block (#659) Mirror to Git Forges #567: Commit f90d57b pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): add dormant push-email notification workflow (#660) Mirror to Git Forges #566: Commit 0fc279d pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Mirror to Git Forges #565: Commit 2e88fdc pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(ci): bump standards reusable workflow pins (#657) Mirror to Git Forges #564: Commit 91b9838 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore: retire local issue/discussion templates -> inherit org .github… Mirror to Git Forges #563: Commit e525815 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(licence): set repo primary licence to MPL-2.0 (core tech); keep… Mirror to Git Forges #562: Commit 1f0d4eb pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(ci): sketch required-check hygiene (human + machine) (#651) Mirror to Git Forges #561: Commit 5ccddff pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: onboarding polish — tutorial lesson-01 + audience router + STAT… Mirror to Git Forges #560: Commit 81caf8e pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make the four required status checks reportable on every PR (#645) Mirror to Git Forges #559: Commit 8b33cab pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) Mirror to Git Forges #558: Commit 19bb2e0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(release): restore release binaries — immutable-release draft flow… Mirror to Git Forges #557: Commit b8ba479 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil… Mirror to Git Forges #556: Commit 5a42e6e pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(interp): CESK port plan for #623 + formal: Rows.v record-row sca… Mirror to Git Forges #555: Commit 41dfce9 pushed by hyperpolymath
-1s main
main
-1s
feat(formal): F-5 render non-collision + real-lift R0 (RealWasm + pla… Mirror to Git Forges #554: Commit 1eaff91 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): P-4 dynamic half — β-reduction preserves the QTT usage … Mirror to Git Forges #553: Commit f005a74 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(proof-needs): refresh stale §1 baseline + §6 sequencing after Wa… Mirror to Git Forges #552: Commit 55ae8bb pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): soundness gate must not assume bare dune on PATH (greens m… Mirror to Git Forges #551: Commit 8859206 pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): Wave 3 capstone — quantitative typing tracks usage soun… Mirror to Git Forges #550: Commit 874e36c pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(#624): fence Lean/Why3 on early return; finish the soundness-ga… Mirror to Git Forges #549: Commit f020a6f pushed by hyperpolymath
Startup failure main
main
Startup failure