Skip to content

Actions: hyperpolymath/affinescript

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
595 workflow runs
595 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
feat(formal): Wave 2 — the affine/QTT quantity semiring + affine usag… Instant Sync #545: Commit 381ca17 pushed by hyperpolymath
-1s main
main
-1s
Harden the soundness-ledger gate: content-binding, stamp-enforcement,… Instant Sync #544: Commit 65c2ae3 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(guix): substitute leftover template placeholders; fix licence c… Instant Sync #543: Commit 13c02ba pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): grow P-2 to the STLC with functions + the substitution … Instant Sync #542: Commit 12618eb pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): re-anchor SOUNDNESS.adoc #555-stub/#560 row — clears soundne… Instant Sync #541: Commit dd6c19e pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): grow P-3 to a real borrow graph (loan edges + move-loca… Instant Sync #540: Commit 16a849a pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): mechanize the four Wave-0 siblings (P-2, P-3, F-3, F-4)… Instant Sync #539: Commit 769d6ff pushed by hyperpolymath
Startup failure main
main
Startup failure
Update SOUNDNESS.adoc Instant Sync #538: Commit f28f525 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: make soundness status a single, test-anchored source of truth (… Instant Sync #537: Commit e6c155f pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): F-1 preservation + grow K-1 (let/vars) + state P-2/P-3/… Instant Sync #536: Commit bfa312b pushed by hyperpolymath
Startup failure main
main
Startup failure
feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 s… Instant Sync #535: Commit ac6e574 pushed by hyperpolymath
Startup failure main
main
Startup failure
Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) … Instant Sync #534: Commit 85e3f0d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): format lib/borrow_polonius/dune to satisfy dune fmt (#619) Instant Sync #533: Commit 88a0cf0 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): repair doc-truthing guard after #614's .md→.adoc migration (… Instant Sync #532: Commit 33a4bfb pushed by hyperpolymath
Startup failure main
main
Startup failure
Feat/solo core metatheory proofs (#614) Instant Sync #531: Commit 39299c3 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen): uniform heap representation for variants — fixes mixed-… Instant Sync #530: Commit 2aa00ff pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen): support nested patterns inside tuple patterns (WASM) Instant Sync #529: Commit 0f8e6c5 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(js-codegen): don't re-declare preamble Option/Result constructors Instant Sync #528: Commit a3e0661 pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: author the proof-needs inventory (P-/F-/K- obligation series) (… Instant Sync #527: Commit eae71fd pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: actions/checkout v7.0.0 with consistent SHA-pin comments (superse… Instant Sync #526: Commit 57040fc pushed by hyperpolymath
Startup failure main
main
Startup failure
chore: refresh stale CI notes + sync drifted Deno fixtures (#608) Instant Sync #525: Commit 48ef42f pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen-deno): don't re-declare preamble Option/Result constructo… Instant Sync #524: Commit 2efe0e3 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: fix standalone-CI fallout — SHA-pin actions, de-trip secret scann… Instant Sync #523: Commit c7922cf pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI standalone (drop estate reusable workflows + third-party … Instant Sync #522: Commit 873ad6d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen): #138 — link imported enum constructors into codegen (#602) Instant Sync #521: Commit ac98c81 pushed by hyperpolymath
Startup failure main
main
Startup failure