Skip to content

Actions: hyperpolymath/ochrance

Actions

ECHIDNA Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-validation.yml
122 workflow runs
122 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
chore(deps): bump the actions group with 6 updates (#85) ECHIDNA Validation #122: Commit 5b0c3be pushed by hyperpolymath
23s main
main
23s
chore(deps): bump the actions group with 6 updates ECHIDNA Validation #121: Commit 639afb0 pushed by dependabot Bot
12s dependabot/github_actions/actions-2fef39f4b1
dependabot/github_actions/actions-2fef39f4b1
12s
ECHIDNA Validation ECHIDNA Validation #120: Scheduled
13s main
main
13s
ECHIDNA Validation ECHIDNA Validation #119: Scheduled
9s main
main
9s
fix(validator): canonical signing serialization binds all fields; pos… ECHIDNA Validation #118: Commit 45bb821 pushed by hyperpolymath
12s main
main
12s
fix(validator): canonical signing serialization binds all fields; positive Ed25519 path CI-enforced ECHIDNA Validation #117: Pull request #78 opened by hyperpolymath
10s feat/canonical-signing
feat/canonical-signing
10s
fix(validator): canonical signing serialization binds all fields; pos… ECHIDNA Validation #116: Commit b1f36a2 pushed by hyperpolymath
10s feat/canonical-signing
feat/canonical-signing
10s
ECHIDNA Validation ECHIDNA Validation #115: Scheduled
14s main
main
14s
chore(deps): bump the actions group with 12 updates (#76) ECHIDNA Validation #114: Commit 5a8e3c8 pushed by hyperpolymath
11s main
main
11s
chore(deps): bump the actions group with 12 updates ECHIDNA Validation #113: Commit caaf421 pushed by dependabot Bot
12s dependabot/github_actions/actions-15f2a38f01
dependabot/github_actions/actions-15f2a38f01
12s
docs: resync status claims with the verified state of the repo (#72) ECHIDNA Validation #112: Commit 700ea13 pushed by hyperpolymath
8s main
main
8s
docs: resync status claims with the verified state of the repo ECHIDNA Validation #111: Pull request #72 opened by hyperpolymath
9s docs/truth-resync
docs/truth-resync
9s
docs: resync status claims with the verified state of the repo ECHIDNA Validation #110: Commit 7bd05b6 pushed by hyperpolymath
10s docs/truth-resync
docs/truth-resync
10s
fix(validator): enforce policy in production path; harden digests; ad… ECHIDNA Validation #109: Commit fbfc201 pushed by hyperpolymath
9s main
main
9s
fix(validator): enforce policy in production path; harden digests; add max_age freshness ECHIDNA Validation #108: Pull request #71 opened by hyperpolymath
12s fix/validator-policy-enforcement
fix/validator-policy-enforcement
12s
fix(validator): enforce policy in production path; harden digests; ad… ECHIDNA Validation #107: Commit eee8967 pushed by hyperpolymath
12s fix/validator-policy-enforcement
fix/validator-policy-enforcement
12s
ci: add Idris2 proof gate; make Idris test suites fail-capable (#69) ECHIDNA Validation #106: Commit af023b5 pushed by hyperpolymath
13s main
main
13s
ci: add Idris2 proof gate; make Idris test suites fail-capable ECHIDNA Validation #105: Commit 8041b27 pushed by hyperpolymath
13s ci/idris-proof-gate
ci/idris-proof-gate
13s
build(zig): migrate FFI to Zig 0.15 + real linked integration tests (… ECHIDNA Validation #104: Commit 43db2a4 pushed by hyperpolymath
46s main
main
46s
build(zig): migrate FFI to Zig 0.15 + real linked integration tests ECHIDNA Validation #103: Commit 7a2bb65 pushed by hyperpolymath
14s feat/zig-015-ffi-link
feat/zig-015-ffi-link
14s
ECHIDNA Validation ECHIDNA Validation #102: Scheduled
8s main
main
8s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#63) ECHIDNA Validation #101: Commit 6486e2b pushed by hyperpolymath
18h 22m 20s main
main
18h 22m 20s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) ECHIDNA Validation #100: Pull request #63 opened by hyperpolymath
12h 16m 35s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
12h 16m 35s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) ECHIDNA Validation #99: Commit ccced5b pushed by hyperpolymath
12h 21m 33s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
12h 21m 33s
Claude/safedom res stale sweep (#60) ECHIDNA Validation #98: Commit 135bfba pushed by hyperpolymath
12s main
main
12s