Skip to content

Actions: hyperpolymath/wokelang

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
132 workflow runs
132 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
Sync local commits to main (#127) BoJ Server Build Trigger #132: Commit c333c1b pushed by hyperpolymath
1h 24m 12s main
main
1h 24m 12s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #131: Commit 8647a09 pushed by hyperpolymath
2h 35m 24s main
main
2h 35m 24s
fix(ci): grant the secret-scanner reusable its required job permissio… BoJ Server Build Trigger #130: Commit 627fa31 pushed by hyperpolymath
10s main
main
10s
security: re-pin secret scanner onto the real gitleaks gate (#125) BoJ Server Build Trigger #129: Commit 0ee3c11 pushed by hyperpolymath
35m 18s main
main
35m 18s
ci: deploy docs via Ddraig SSG (#122) BoJ Server Build Trigger #128: Commit e60666c pushed by hyperpolymath
56m 10s main
main
56m 10s
fix(ci): drop beta-Rust CodeQL leg (cancelled/hanging 'checks 2 thing… BoJ Server Build Trigger #127: Commit ce58467 pushed by hyperpolymath
15m 22s main
main
15m 22s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… BoJ Server Build Trigger #126: Commit 4f15722 pushed by hyperpolymath
9s main
main
9s
fix(ci): clear OSSF Scorecard startup_failure (#119) BoJ Server Build Trigger #125: Commit 39e8f48 pushed by hyperpolymath
35m 6s main
main
35m 6s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118) BoJ Server Build Trigger #124: Commit c08858d pushed by hyperpolymath
18m 13s main
main
18m 13s
docs: fold adversarial-review findings (honesty/divergence clarificat… BoJ Server Build Trigger #123: Commit e990dac pushed by hyperpolymath
11s main
main
11s
Phase 1b: control-flow execution + faithful block scoping (if/loop/at… BoJ Server Build Trigger #122: Commit bd610dd pushed by hyperpolymath
10s main
main
10s
Phase 1b: statement-execution relation + preservation (simple-stateme… BoJ Server Build Trigger #121: Commit d71dfe9 pushed by hyperpolymath
12s main
main
12s
Phase 1b: store-typed preservation (generalize preservation to an arb… BoJ Server Build Trigger #120: Commit 01f7329 pushed by hyperpolymath
12s main
main
12s
Phase 1b substrate: expression-evaluation invariants under a store (#… BoJ Server Build Trigger #119: Commit 156455f pushed by hyperpolymath
11s main
main
11s
Phase 1b foundation: store typing (StoreWellTyped + lemmas) (#112) BoJ Server Build Trigger #118: Commit c17b2ee pushed by hyperpolymath
10s main
main
10s
Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4) (#111) BoJ Server Build Trigger #117: Commit cb54027 pushed by hyperpolymath
11s main
main
11s
Verification roadmap + Phase 2a (capability partial order + satisfact… BoJ Server Build Trigger #116: Commit 712b58a pushed by hyperpolymath
10s main
main
10s
CFLs not closed under intersection — explicit witnesses (cfl_not_clos… BoJ Server Build Trigger #115: Commit 6579da0 pushed by hyperpolymath
53s main
main
53s
aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin)… BoJ Server Build Trigger #114: Commit ff575b1 pushed by hyperpolymath
8s main
main
8s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#107) BoJ Server Build Trigger #113: Commit 5acbf3a pushed by hyperpolymath
2h 36m 6s main
main
2h 36m 6s
CFL pumping lemma — machine-checked from scratch in Lean (cfl_pumping… BoJ Server Build Trigger #112: Commit c77b102 pushed by hyperpolymath
11s main
main
11s
§7.3 CFL closure under union / concatenation / Kleene star (Lean, fro… BoJ Server Build Trigger #111: Commit dfcec84 pushed by hyperpolymath
7s main
main
7s
§7.3 CFL closure under union / concatenation / Kleene star (Lean, fro… BoJ Server Build Trigger #110: Commit dfcec84 pushed by hyperpolymath
8s main
main
8s
Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from … BoJ Server Build Trigger #109: Commit 12971c7 pushed by hyperpolymath
8s main
main
8s
Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, … BoJ Server Build Trigger #108: Commit 0b1b031 pushed by hyperpolymath
16s main
main
16s