Skip to content

Actions: hyperpolymath/wokelang

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
133 workflow runs
133 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
ci: deploy docs via Ddraig SSG (#122) Instant Sync #133: Commit e60666c pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): drop beta-Rust CodeQL leg (cancelled/hanging 'checks 2 thing… Instant Sync #132: Commit ce58467 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… Instant Sync #131: Commit 4f15722 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#119) Instant Sync #130: Commit 39e8f48 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118) Instant Sync #129: Commit c08858d pushed by hyperpolymath
-1s main
main
-1s
docs: fold adversarial-review findings (honesty/divergence clarificat… Instant Sync #128: Commit e990dac pushed by hyperpolymath
Startup failure main
main
Startup failure
Phase 1b: control-flow execution + faithful block scoping (if/loop/at… Instant Sync #127: Commit bd610dd pushed by hyperpolymath
Startup failure main
main
Startup failure
Phase 1b: statement-execution relation + preservation (simple-stateme… Instant Sync #126: Commit d71dfe9 pushed by hyperpolymath
Startup failure main
main
Startup failure
Phase 1b: store-typed preservation (generalize preservation to an arb… Instant Sync #125: Commit 01f7329 pushed by hyperpolymath
Startup failure main
main
Startup failure
Phase 1b substrate: expression-evaluation invariants under a store (#… Instant Sync #124: Commit 156455f pushed by hyperpolymath
Startup failure main
main
Startup failure
Phase 1b foundation: store typing (StoreWellTyped + lemmas) (#112) Instant Sync #123: Commit c17b2ee pushed by hyperpolymath
8s main
main
8s
Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4) (#111) Instant Sync #122: Commit cb54027 pushed by hyperpolymath
8s main
main
8s
Verification roadmap + Phase 2a (capability partial order + satisfact… Instant Sync #121: Commit 712b58a pushed by hyperpolymath
6s main
main
6s
CFLs not closed under intersection — explicit witnesses (cfl_not_clos… Instant Sync #120: Commit 6579da0 pushed by hyperpolymath
8s main
main
8s
aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin)… Instant Sync #119: Commit ff575b1 pushed by hyperpolymath
9s main
main
9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#107) Instant Sync #118: Commit 5acbf3a pushed by hyperpolymath
2h 36m 1s main
main
2h 36m 1s
CFL pumping lemma — machine-checked from scratch in Lean (cfl_pumping… Instant Sync #117: Commit c77b102 pushed by hyperpolymath
8s main
main
8s
§7.3 CFL closure under union / concatenation / Kleene star (Lean, fro… Instant Sync #116: Commit dfcec84 pushed by hyperpolymath
15s main
main
15s
§7.3 CFL closure under union / concatenation / Kleene star (Lean, fro… Instant Sync #115: Commit dfcec84 pushed by hyperpolymath
7s main
main
7s
Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from … Instant Sync #114: Commit 12971c7 pushed by hyperpolymath
9s main
main
9s
Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, … Instant Sync #113: Commit 0b1b031 pushed by hyperpolymath
12s main
main
12s
Machine-checked grammar proofs (Lean) + grammar reconciliation (#102) Instant Sync #112: Commit cd4d161 pushed by hyperpolymath
2m 53s main
main
2m 53s
feat(ci): attest build provenance (#101) Instant Sync #111: Commit b6c815e pushed by hyperpolymath
9h 21m 49s main
main
9h 21m 49s
chore(ci): add dormant push-email notification workflow (#100) Instant Sync #110: Commit 5e5d116 pushed by hyperpolymath
21h 15m 41s main
main
21h 15m 41s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #109: Commit 9ca3060 pushed by hyperpolymath
19h 0m 50s main
main
19h 0m 50s