Skip to content

Actions: hyperpolymath/echidna

Actions

Formal Verification (Stage 8c)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal-verification.yml
63 workflow runs
63 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
Formal Verification (Stage 8c) Formal Verification (Stage 8c) #63: synchronize by arena-ai-coding-agent Bot
Startup failure arena/01a0da31-echidna
arena/01a0da31-echidna
Startup failure
Formal Verification (Stage 8c) Formal Verification (Stage 8c) #62: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0da31-echidna
arena/01a0da31-echidna
Startup failure
chapel: bench_mrr outcome telemetry (#162) + prover-count reconciliat… Formal Verification (Stage 8c) #61: Commit 9c422f8 pushed by hyperpolymath
Failure main
main
Failure
fix(docs): reconcile prover counts to the canonical source (#251) Formal Verification (Stage 8c) #60: Commit 128fc53 pushed by arena-ai-coding-agent Bot
Failure arena/01a0d840-echidna
arena/01a0d840-echidna
Failure
fix(docs): reconcile prover counts to the canonical source (#251) Formal Verification (Stage 8c) #59: Commit 7f6a47e pushed by arena-ai-coding-agent Bot
Failure arena/01a0d840-echidna
arena/01a0d840-echidna
Failure
feat(chapel): per-prover outcome telemetry for bench_mrr Formal Verification (Stage 8c) #58: Commit a544cf2 pushed by arena-ai-coding-agent Bot
Failure arena/01a0d840-echidna
arena/01a0d840-echidna
Failure
docs: resolve verified .md to .adoc structural drift (#242) (#393) Formal Verification (Stage 8c) #57: Commit 58124bf pushed by hyperpolymath
Failure main
main
Failure
docs: sweep remaining verified .md to .adoc drift Formal Verification (Stage 8c) #56: Commit 37d64e3 pushed by arena-ai-coding-agent Bot
Failure arena/01a0d840-echidna
arena/01a0d840-echidna
Failure
docs: resolve verified .md to .adoc structural drift Formal Verification (Stage 8c) #55: Commit fa39751 pushed by arena-ai-coding-agent Bot
Failure arena/01a0d840-echidna
arena/01a0d840-echidna
Failure
chore(deps): bump the actions group with 4 updates (#392) Formal Verification (Stage 8c) #54: Commit 5ac85b4 pushed by hyperpolymath
Failure main
main
Failure
Merge branch 'main' into dependabot/github_actions/actions-3ea9b48fbf Formal Verification (Stage 8c) #53: Commit 733b7b2 pushed by hyperpolymath
-1s dependabot/github_actions/actions-3ea9b48fbf
dependabot/github_actions/actions-3ea9b48fbf
-1s
chore(deps): bump rmcp from 3.3.0 to 3.4.0 (#391) Formal Verification (Stage 8c) #52: Commit 4542a19 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 4 updates Formal Verification (Stage 8c) #51: Commit 4430e84 pushed by dependabot Bot
Failure dependabot/github_actions/actions-3ea9b48fbf
dependabot/github_actions/actions-3ea9b48fbf
Failure
chore(deps): bump rmcp from 3.3.0 to 3.4.0 Formal Verification (Stage 8c) #50: Commit bd23a7c pushed by dependabot Bot
Failure dependabot/cargo/rmcp-3.4.0
dependabot/cargo/rmcp-3.4.0
Failure
fix(gates): gate on the DEED grammar, per the template and standards#… Formal Verification (Stage 8c) #49: Commit ff378b1 pushed by hyperpolymath
Failure main
main
Failure
Formal Verification (Stage 8c) Formal Verification (Stage 8c) #48: by hyperpolymath
Failure /hyperpolymath/echidna
/hyperpolymath/echidna
Failure
fix(ci): reconcile actions.lock so the lockfile validates (#390) Formal Verification (Stage 8c) #47: Commit f44775d pushed by hyperpolymath
Failure main
main
Failure
fix(ci): reconcile actions.lock so the lockfile validates\n\nWorkflow… Formal Verification (Stage 8c) #46: Commit 61c165d pushed by hyperpolymath
Failure fix/lockfile-reconcile
fix/lockfile-reconcile
Failure
fix(gates): converge the manifest guard on the template's DEED wording Formal Verification (Stage 8c) #45: Commit 25182a3 pushed by hyperpolymath
Failure fix/deed-gate-grammar
fix/deed-gate-grammar
Failure
chore(ci): remove dead Codecov upload steps + lock pins (#388) Formal Verification (Stage 8c) #44: Commit 43e7e06 pushed by hyperpolymath
Failure main
main
Failure
chore(ci): remove dead Codecov upload steps + lock pins Formal Verification (Stage 8c) #43: Commit 7a84da3 pushed by hyperpolymath
Failure chore/remove-dead-app-ci-refs
chore/remove-dead-app-ci-refs
Failure
fix(ci): pin third-party actions to full commit SHAs (#387) Formal Verification (Stage 8c) #42: Commit 6ae5650 pushed by hyperpolymath
Failure main
main
Failure
fix(ci): pin third-party actions to full commit SHAs Formal Verification (Stage 8c) #41: Commit fe98eda pushed by hyperpolymath
Failure fix/sha-pin-actions
fix/sha-pin-actions
Failure
Formal Verification (Stage 8c) Formal Verification (Stage 8c) #40: synchronize by hyperpolymath
Startup failure codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
Startup failure
fix(proof): require real proof rejection and valid Coq submissions Formal Verification (Stage 8c) #39: Pull request #376 synchronize by hyperpolymath
40s codex/live-proof-stack-20260907
codex/live-proof-stack-20260907
40s