Skip to content

Actions: hyperpolymath/standards

Actions

ECHIDNA Proof Verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
echidna-verify.yml
11 workflow runs
11 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 Proof Verification ECHIDNA Proof Verification #11: Scheduled
1d 4h 27m 53s main
main
1d 4h 27m 53s
harden(ci): estate-wide concurrency-cancel guard + scope affinescript… ECHIDNA Proof Verification #10: Commit f0fbc89 pushed by hyperpolymath
13h 15m 53s main
main
13h 15m 53s
ECHIDNA Proof Verification ECHIDNA Proof Verification #9: Scheduled
10m 22s main
main
10m 22s
ECHIDNA Proof Verification ECHIDNA Proof Verification #8: Scheduled
1m 11s main
main
1m 11s
ECHIDNA Proof Verification ECHIDNA Proof Verification #7: Scheduled
1m 7s main
main
1m 7s
ECHIDNA Proof Verification ECHIDNA Proof Verification #6: Scheduled
1m 36s main
main
1m 36s
ECHIDNA Proof Verification ECHIDNA Proof Verification #5: Scheduled
1m 5s main
main
1m 5s
refactor(lol/agda): replace Float arithmetic postulates with stdlib defs ECHIDNA Proof Verification #4: Commit cb497d6 pushed by hyperpolymath
10m 57s main
main
10m 57s
ECHIDNA Proof Verification ECHIDNA Proof Verification #3: Scheduled
58s main
main
58s
feat(innervation): Phase 3 — implementation, rollout tools, quality a… ECHIDNA Proof Verification #2: Commit e88107c pushed by hyperpolymath
1m 2s main
main
1m 2s
feat(innervation): Phase 2 — specs, tools, and docs ECHIDNA Proof Verification #1: Commit cbeab89 pushed by hyperpolymath
53s main
main
53s