Skip to content

Actions: hyperpolymath/valence-shell

Actions

ECHIDNA Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-validation.yml
292 workflow runs
292 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 #292: Scheduled
4m 44s main
main
4m 44s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,… ECHIDNA Validation #291: Commit 6bae89b pushed by hyperpolymath
40s main
main
40s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime ECHIDNA Validation #290: Pull request #165 synchronize by hyperpolymath
35s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
35s
style(rust-cli): fix clippy 1.97 + rustfmt for CI green ECHIDNA Validation #289: Commit a963064 pushed by hyperpolymath
36s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
36s
Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime ECHIDNA Validation #288: Pull request #165 opened by hyperpolymath
36s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
36s
feat(rmo): wire obliterate into dispatch + audit residue (secure dele… ECHIDNA Validation #287: Commit 4883a42 pushed by hyperpolymath
40s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
40s
Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… ECHIDNA Validation #286: Commit 15c082f pushed by hyperpolymath
1m 12s main
main
1m 12s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher ECHIDNA Validation #285: Pull request #164 synchronize by hyperpolymath
44s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
44s
Coq: re-verify 0 real gaps + fix build/verify from clean; add just run launcher ECHIDNA Validation #284: Pull request #164 opened by hyperpolymath
1m 7s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 7s
proofs(coq): re-verify 0 admits/0 real gaps; fix build+verify from clean ECHIDNA Validation #283: Commit 6924532 pushed by hyperpolymath
1m 11s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
1m 11s
ECHIDNA Validation ECHIDNA Validation #282: Scheduled
4m 26s main
main
4m 26s
chore(deps): bump the actions group with 7 updates (#163) ECHIDNA Validation #281: Commit dbab186 pushed by hyperpolymath
1m 9s main
main
1m 9s
chore(deps): bump the actions group with 7 updates ECHIDNA Validation #280: Commit 85d8eb5 pushed by dependabot Bot
1m 11s dependabot/github_actions/actions-d656973376
dependabot/github_actions/actions-d656973376
1m 11s
ECHIDNA Validation ECHIDNA Validation #279: Manually run by hyperpolymath
4m 49s main
main
4m 49s
ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161) ECHIDNA Validation #278: Commit 32f2049 pushed by hyperpolymath
37s main
main
37s
ci: install Lean via elan in ECHIDNA + drop duplicate trufflehog --fail ECHIDNA Validation #277: Commit 8001e89 pushed by hyperpolymath
35s ci/echidna-lean-via-elan
ci/echidna-lean-via-elan
35s
Merge branch 'main' into docs/production-charter-2026-07 ECHIDNA Validation #276: Commit 5f09a53 pushed by hyperpolymath
1m 13s docs/production-charter-2026-07
docs/production-charter-2026-07
1m 13s
ECHIDNA Validation ECHIDNA Validation #275: Manually run by hyperpolymath
3m 23s main
main
3m 23s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159) ECHIDNA Validation #274: Commit 79c280f pushed by hyperpolymath
2m 8s main
main
2m 8s
ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure ECHIDNA Validation #273: Commit 72126a6 pushed by hyperpolymath
1m 17s ci/fix-echidna-isabelle-secret-scanner-perms
ci/fix-echidna-isabelle-secret-scanner-perms
1m 17s
ECHIDNA Validation ECHIDNA Validation #272: Scheduled
3m 21s main
main
3m 21s
chore(deps): bump the actions group with 7 updates (#158) ECHIDNA Validation #271: Commit 5c6edd3 pushed by hyperpolymath
36s main
main
36s
chore(deps): bump the actions group with 7 updates ECHIDNA Validation #270: Commit 1147479 pushed by dependabot Bot
43s dependabot/github_actions/actions-bd237529d0
dependabot/github_actions/actions-bd237529d0
43s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) ECHIDNA Validation #269: Pull request #156 synchronize by hyperpolymath
45s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
45s
infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fix (2) ECHIDNA Validation #268: Pull request #156 synchronize by hyperpolymath
47s claude/valence-shell-151-root-a2a1kv
claude/valence-shell-151-root-a2a1kv
47s