Skip to content

Actions: hyperpolymath/valence-shell

Actions

ECHIDNA Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-validation.yml
335 workflow runs
335 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
ECHIDNA Validation ECHIDNA Validation #335: Scheduled
4m 31s main
main
4m 31s
ECHIDNA Validation ECHIDNA Validation #334: Scheduled
3m 45s main
main
3m 45s
Fix/verify preconditions real (#216) ECHIDNA Validation #333: Commit 680c929 pushed by hyperpolymath
2m 27s main
main
2m 27s
Fix/verify preconditions real ECHIDNA Validation #332: Pull request #216 synchronize by hyperpolymath
50s fix/verify-preconditions-real
fix/verify-preconditions-real
50s
refactor(verification): use nix's safe access/geteuid/mkfifo, drop un… ECHIDNA Validation #331: Commit c82358d pushed by hyperpolymath
46s fix/verify-preconditions-real
fix/verify-preconditions-real
46s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5… ECHIDNA Validation #330: Commit c033e9e pushed by hyperpolymath
2m 15s main
main
2m 15s
fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) ECHIDNA Validation #329: Pull request #215 opened by hyperpolymath
1m 16s fix/verify-preconditions-real
fix/verify-preconditions-real
1m 16s
fix(rust-cli): keep rmdir read_dir error text identical to the command ECHIDNA Validation #328: Commit 7cac31f pushed by hyperpolymath
1m 17s fix/verify-preconditions-real
fix/verify-preconditions-real
1m 17s
fix(test): model oracle test fails instead of skipping as a pass (P0-… ECHIDNA Validation #327: Commit 3440d69 pushed by hyperpolymath
1m 35s main
main
1m 35s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) ECHIDNA Validation #326: Pull request #214 synchronize by hyperpolymath
48s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
48s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213) ECHIDNA Validation #325: Commit 53ae47f pushed by hyperpolymath
1m 24s main
main
1m 24s
fix(test): model oracle test fails instead of skipping as a pass (P0-4) ECHIDNA Validation #324: Pull request #214 opened by hyperpolymath
1m 44s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
1m 44s
chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) ECHIDNA Validation #323: Pull request #213 opened by hyperpolymath
1m 13s chore/lean-4-34-1
chore/lean-4-34-1
1m 13s
fix(test): model oracle test fails instead of skipping as a pass ECHIDNA Validation #322: Commit d8e475b pushed by hyperpolymath
1m 5s fix/oracle-no-skip-as-pass
fix/oracle-no-skip-as-pass
1m 5s
ECHIDNA Validation ECHIDNA Validation #321: Scheduled
4m 40s main
main
4m 40s
chore(deps): bump the actions group with 7 updates (#205) ECHIDNA Validation #320: Commit 6107346 pushed by hyperpolymath
6h 8m 24s main
main
6h 8m 24s
ECHIDNA Validation ECHIDNA Validation #319: Scheduled
4m 22s main
main
4m 22s
chore(deps): bump the actions group with 7 updates ECHIDNA Validation #318: Commit ac6cd5d pushed by dependabot Bot
57s dependabot/github_actions/actions-6c0dea18a1
dependabot/github_actions/actions-6c0dea18a1
57s
ECHIDNA Validation ECHIDNA Validation #317: Scheduled
5m 5s main
main
5m 5s
ECHIDNA Validation ECHIDNA Validation #316: Scheduled
4m 25s main
main
4m 25s
chore: reconcile local history with origin (R-16/R-24) ECHIDNA Validation #315: Commit fd2566a pushed by hyperpolymath
32s r16-reconcile-2026-08-28
r16-reconcile-2026-08-28
32s
ECHIDNA Validation ECHIDNA Validation #314: Scheduled
6m 56s main
main
6m 56s
fix: close foundational shell and proof-integrity gaps (#193) ECHIDNA Validation #313: Commit b75712e pushed by hyperpolymath
6m 31s main
main
6m 31s
fix: close foundational shell and proof-integrity gaps ECHIDNA Validation #312: Pull request #193 opened by hyperpolymath
7m 54s codex/closure-sprint-20260824
codex/closure-sprint-20260824
7m 54s
fix foundational shell and proof integrity gaps ECHIDNA Validation #311: Commit 119c250 pushed by hyperpolymath
4m 50s codex/closure-sprint-20260824
codex/closure-sprint-20260824
4m 50s