Skip to content

Actions: hyperpolymath/echidna

Actions

.github/workflows/mirror.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
670 workflow runs
670 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
fix(build): de-duplicate Cargo.lock capnp (closes #272) + refresh gui… .github/workflows/mirror.yml #670: Commit 402d303 pushed by hyperpolymath
Failure main
main
Failure
chore: add RSR git hooks + AFFIRMATION.adoc + 2026-06-15 handoff/stat… .github/workflows/mirror.yml #669: Commit e2252af pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump capnpc from 0.25.3 to 0.26.0 (#267) .github/workflows/mirror.yml #668: Commit 7c3495a pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 3 updates (#270) .github/workflows/mirror.yml #667: Commit 13c3424 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump capnp from 0.25.5 to 0.26.0 (#269) .github/workflows/mirror.yml #666: Commit 8c84637 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump tower-http from 0.6.11 to 0.7.0 (#268) .github/workflows/mirror.yml #665: Commit 299c1a9 pushed by hyperpolymath
Failure main
main
Failure
ci(s4): weekly S4 loop-closure CI workflow (#264) .github/workflows/mirror.yml #664: Commit 998aea9 pushed by hyperpolymath
Failure main
main
Failure
feat(deploy): public Fly.io instance + ghcr one-liner (#265) .github/workflows/mirror.yml #663: Commit 8a00721 pushed by hyperpolymath
Failure main
main
Failure
fix: server boot-gate CI + QUICKSTART refutation demo + SPDX headers … .github/workflows/mirror.yml #662: Commit 20941b7 pushed by hyperpolymath
Failure main
main
Failure
feat(verisim): wire VeriSimDB writer into HTTP prove path (#263) .github/workflows/mirror.yml #661: Commit 6e13847 pushed by hyperpolymath
Failure main
main
Failure
feat(deploy): public Fly.io instance + ghcr one-liner (Task 6) (#261) .github/workflows/mirror.yml #660: Commit 31c0d7b pushed by hyperpolymath
Failure main
main
Failure
ci(server): server boot gate — convert 'compiles' into 'boots' (#258) .github/workflows/mirror.yml #659: Commit 6feec89 pushed by hyperpolymath
Failure main
main
Failure
ci(s4): file S4 loop-closure weekly CI workflow (#259) .github/workflows/mirror.yml #658: Commit 147d6b4 pushed by hyperpolymath
Failure main
main
Failure
ci: retire per-repo add-to-roadmap (superseded by central sweeper) (#… .github/workflows/mirror.yml #657: Commit 2de4d0f pushed by hyperpolymath
Failure main
main
Failure
ci: fix Idris2/Agda required-check deadlock (pass-through shim) (#256) .github/workflows/mirror.yml #656: Commit 81f89b3 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group across 1 directory with 3 updates .github/workflows/mirror.yml #655: Commit e779bb0 pushed by hyperpolymath
Failure main
main
Failure
ci: SHA-pin actions/add-to-project (repo enforces sha_pinning) .github/workflows/mirror.yml #654: Commit cb5e41a pushed by hyperpolymath
Failure main
main
Failure
ci: auto-add new issues/PRs to master roadmap #35 (pilot) .github/workflows/mirror.yml #653: Commit 6eb8e99 pushed by hyperpolymath
Failure main
main
Failure
ci: add timeout-minutes safety bound to every workflow steps-job .github/workflows/mirror.yml #652: Commit 2c29352 pushed by hyperpolymath
Failure main
main
Failure
ci(bridge-gate): wire the merge-orchestration CVE/bump gate .github/workflows/mirror.yml #651: Commit e15ef1d pushed by hyperpolymath
Failure main
main
Failure
checkpoint(2026-06-13): record dogfood proof-CI in state/roadmap/wiki… .github/workflows/mirror.yml #650: Commit df71e5f pushed by hyperpolymath
Failure main
main
Failure
chore(training): EchidnaML CUDA logging fix + per-stage run doc (#232) .github/workflows/mirror.yml #649: Commit 546bd1f pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump nom from 7.1.3 to 8.0.0 (#228) .github/workflows/mirror.yml #648: Commit f72502f pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump axum from 0.7.9 to 0.8.9 (#233) .github/workflows/mirror.yml #647: Commit f0692a4 pushed by hyperpolymath
Failure main
main
Failure
chore(deps): bump the actions group with 4 updates (#237) .github/workflows/mirror.yml #646: Commit 0a3357e pushed by hyperpolymath
Failure main
main
Failure