Skip to content

Actions: hyperpolymath/valence-shell

Actions

ECHIDNA Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-validation.yml
294 workflow runs
294 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
theory: crash-consistency design doc + Lean4 keystone theorem (crash_… ECHIDNA Validation #94: Commit fa00da7 pushed by hyperpolymath
3m 54s main
main
3m 54s
proofs(coq): close single_op_reversible OpRmdir branch via OpMkdirWithPerms variant ECHIDNA Validation #93: Pull request #67 opened by hyperpolymath
3m 57s fix/coq-single-op-reversible-rmdir
fix/coq-single-op-reversible-rmdir
3m 57s
chore: M2 ROADMAP + M3 doc-TODO sweep + M4 dep+action SHA refresh ECHIDNA Validation #92: Commit 8da6a65 pushed by hyperpolymath
3m 55s chore/maintenance-sweep-m2-m3-m4
chore/maintenance-sweep-m2-m3-m4
3m 55s
proofs(coq): close single_op_reversible OpRmdir branch via OpMkdirWit… ECHIDNA Validation #91: Commit f76f8da pushed by hyperpolymath
3m 34s fix/coq-single-op-reversible-rmdir
fix/coq-single-op-reversible-rmdir
3m 34s
theory: crash-consistency design doc + Lean4 keystone theorem (crash_atomic_within_op_mkdir) ECHIDNA Validation #90: Pull request #62 opened by hyperpolymath
3m 39s feat/crash-consistency-keystone
feat/crash-consistency-keystone
3m 39s
theory: crash-consistency design doc + Lean4 keystone theorem (crash_… ECHIDNA Validation #89: Commit 93ad9a4 pushed by hyperpolymath
3m 41s feat/crash-consistency-keystone
feat/crash-consistency-keystone
3m 41s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (cl… ECHIDNA Validation #88: Commit 18e3e3c pushed by hyperpolymath
3m 43s main
main
3m 43s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (closes #49) ECHIDNA Validation #87: Pull request #55 synchronize by hyperpolymath
3m 58s proof/coq-build-oracle-closure
proof/coq-build-oracle-closure
3m 58s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (closes #49) ECHIDNA Validation #86: Pull request #55 opened by hyperpolymath
3m 59s proof/coq-build-oracle-closure
proof/coq-build-oracle-closure
3m 59s
proofs(coq): close build-oracle cascade + re-enable verify-proofs (cl… ECHIDNA Validation #85: Commit 281128e pushed by hyperpolymath
3m 47s proof/coq-build-oracle-closure
proof/coq-build-oracle-closure
3m 47s
proofs(coq): partial closure of build-oracle cascade (refs #49) ECHIDNA Validation #84: Pull request #50 opened by hyperpolymath
3m 39s proof/coq-build-oracle-partial
proof/coq-build-oracle-partial
3m 39s
proofs(coq): partial closure of build-oracle cascade (refs #49) ECHIDNA Validation #83: Commit 59831e2 pushed by hyperpolymath
3m 46s proof/coq-build-oracle-partial
proof/coq-build-oracle-partial
3m 46s
docs(proof): proof narrative + open frontier + reconciled PROOF-NEEDS ECHIDNA Validation #82: Commit 97e9bb9 pushed by hyperpolymath
3m 48s proof/valence-work
proof/valence-work
3m 48s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) (… ECHIDNA Validation #81: Commit af3f4b8 pushed by hyperpolymath
3m 38s main
main
3m 38s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) ECHIDNA Validation #80: Pull request #48 synchronize by hyperpolymath
3m 37s proof/admit-becomes-admitted
proof/admit-becomes-admitted
3m 37s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) ECHIDNA Validation #79: Commit f43636c pushed by hyperpolymath
3m 40s proof/admit-becomes-admitted
proof/admit-becomes-admitted
3m 40s
fix(ci): make set-e safe counter increments + correct lean4→lean prov… ECHIDNA Validation #78: Commit 6963886 pushed by hyperpolymath
3m 40s main
main
3m 40s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) ECHIDNA Validation #77: Pull request #48 opened by hyperpolymath
3m 3s proof/admit-becomes-admitted
proof/admit-becomes-admitted
3m 3s
proofs(coq): assert single_op_reversible model gap (Qed → Admitted) ECHIDNA Validation #76: Commit 9b3e25d pushed by hyperpolymath
3m 9s proof/admit-becomes-admitted
proof/admit-becomes-admitted
3m 9s
fix(ci): make set-e safe counter increments + correct lean4→lean prov… ECHIDNA Validation #75: Commit 67af0a3 pushed by hyperpolymath
3m 44s claude/cicd-audit-2026-06-01
claude/cicd-audit-2026-06-01
3m 44s
ECHIDNA Validation ECHIDNA Validation #74: Scheduled
3m 11s main
main
3m 11s
chore(ci): replace secret-scanner.yml with reusable wrapper (#37) ECHIDNA Validation #73: Commit e4c3c44 pushed by hyperpolymath
8h 0m 4s main
main
8h 0m 4s
docs: record tech-debt audit findings (2026-05-26) (#35) ECHIDNA Validation #72: Commit ff6e66f pushed by hyperpolymath
7h 51m 56s main
main
7h 51m 56s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… ECHIDNA Validation #71: Commit 7b0367d pushed by hyperpolymath
7h 46m 41s main
main
7h 46m 41s
ECHIDNA Validation ECHIDNA Validation #70: Scheduled
2m 46s main
main
2m 46s