Skip to content

Actions: hyperpolymath/wokelang

Actions

E2E Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
e2e.yml
204 workflow runs
204 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
E2E Validation E2E Validation #179: opened by hyperpolymath
Startup failure fix/ci-timeout-minutes-reusable
fix/ci-timeout-minutes-reusable
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#119) E2E Validation #178: Commit 39e8f48 pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #177: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118) E2E Validation #176: Commit c08858d pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #175: opened by hyperpolymath
Startup failure ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
Startup failure
docs: fold adversarial-review findings (honesty/divergence clarificat… E2E Validation #174: Commit e990dac pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #173: opened by hyperpolymath
Startup failure claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
Startup failure
Phase 1b: control-flow execution + faithful block scoping (if/loop/at… E2E Validation #172: Commit bd610dd pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #171: opened by hyperpolymath
Startup failure claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
Startup failure
Phase 1b: statement-execution relation + preservation (simple-stateme… E2E Validation #170: Commit d71dfe9 pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #169: opened by hyperpolymath
Startup failure claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
Startup failure
Phase 1b: store-typed preservation (generalize preservation to an arb… E2E Validation #168: Commit 01f7329 pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #167: opened by hyperpolymath
Startup failure claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
Startup failure
Phase 1b substrate: expression-evaluation invariants under a store (#… E2E Validation #166: Commit 156455f pushed by hyperpolymath
Startup failure main
main
Startup failure
E2E Validation E2E Validation #165: opened by hyperpolymath
Startup failure claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
Startup failure
Phase 1b foundation: store typing (StoreWellTyped + lemmas) (#112) E2E Validation #164: Commit c17b2ee pushed by hyperpolymath
1m 41s main
main
1m 41s
Phase 1b foundation: store typing (StoreWellTyped + lemmas) E2E Validation #163: Pull request #112 opened by hyperpolymath
1m 53s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
1m 53s
Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4) (#111) E2E Validation #162: Commit cb54027 pushed by hyperpolymath
1m 58s main
main
1m 58s
Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4) E2E Validation #161: Pull request #111 opened by hyperpolymath
1m 59s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
1m 59s
Verification roadmap + Phase 2a (capability partial order + satisfact… E2E Validation #160: Commit 712b58a pushed by hyperpolymath
1m 56s main
main
1m 56s
Verification roadmap + Phase 2a (capability partial order + satisfaction) E2E Validation #159: Pull request #110 opened by hyperpolymath
1m 52s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
1m 52s
CFLs not closed under intersection — explicit witnesses (cfl_not_clos… E2E Validation #158: Commit 6579da0 pushed by hyperpolymath
2m 31s main
main
2m 31s
CFLs not closed under intersection — explicit witnesses (cfl_not_closed_inter) E2E Validation #157: Pull request #109 opened by hyperpolymath
1m 55s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
1m 55s
aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin)… E2E Validation #156: Commit ff575b1 pushed by hyperpolymath
1m 47s main
main
1m 47s
aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin) E2E Validation #155: Pull request #108 opened by hyperpolymath
1m 59s claude/v2-grammar-proofs-audit-1yqgxh
claude/v2-grammar-proofs-audit-1yqgxh
1m 59s