Skip to content

Actions: hyperpolymath/echidna

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
574 workflow runs
574 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
ci(s4): weekly S4 loop-closure CI workflow (#264) Instant Sync #524: Commit 998aea9 pushed by hyperpolymath
4m 43s main
main
4m 43s
feat(deploy): public Fly.io instance + ghcr one-liner (#265) Instant Sync #523: Commit 8a00721 pushed by hyperpolymath
3m 9s main
main
3m 9s
fix: server boot-gate CI + QUICKSTART refutation demo + SPDX headers … Instant Sync #522: Commit 20941b7 pushed by hyperpolymath
15s main
main
15s
feat(verisim): wire VeriSimDB writer into HTTP prove path (#263) Instant Sync #521: Commit 6e13847 pushed by hyperpolymath
44s main
main
44s
feat(deploy): public Fly.io instance + ghcr one-liner (Task 6) (#261) Instant Sync #520: Commit 31c0d7b pushed by hyperpolymath
51s main
main
51s
ci(server): server boot gate — convert 'compiles' into 'boots' (#258) Instant Sync #519: Commit 6feec89 pushed by hyperpolymath
1m 23s main
main
1m 23s
ci(s4): file S4 loop-closure weekly CI workflow (#259) Instant Sync #518: Commit 147d6b4 pushed by hyperpolymath
30s main
main
30s
ci: retire per-repo add-to-roadmap (superseded by central sweeper) (#… Instant Sync #517: Commit 2de4d0f pushed by hyperpolymath
13s main
main
13s
ci: fix Idris2/Agda required-check deadlock (pass-through shim) (#256) Instant Sync #516: Commit 81f89b3 pushed by hyperpolymath
7s main
main
7s
chore(deps): bump the actions group across 1 directory with 3 updates Instant Sync #515: Commit e779bb0 pushed by hyperpolymath
31s main
main
31s
ci: SHA-pin actions/add-to-project (repo enforces sha_pinning) Instant Sync #514: Commit cb5e41a pushed by hyperpolymath
13s main
main
13s
ci: auto-add new issues/PRs to master roadmap #35 (pilot) Instant Sync #513: Commit 6eb8e99 pushed by hyperpolymath
13s main
main
13s
ci: add timeout-minutes safety bound to every workflow steps-job Instant Sync #512: Commit 2c29352 pushed by hyperpolymath
36s main
main
36s
ci(bridge-gate): wire the merge-orchestration CVE/bump gate Instant Sync #511: Commit e15ef1d pushed by hyperpolymath
Startup failure main
main
Startup failure
checkpoint(2026-06-13): record dogfood proof-CI in state/roadmap/wiki… Instant Sync #510: Commit df71e5f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(training): EchidnaML CUDA logging fix + per-stage run doc (#232) Instant Sync #509: Commit 546bd1f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump nom from 7.1.3 to 8.0.0 (#228) Instant Sync #508: Commit f72502f pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump axum from 0.7.9 to 0.8.9 (#233) Instant Sync #507: Commit f0692a4 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump the actions group with 4 updates (#237) Instant Sync #506: Commit 0a3357e pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump nalgebra from 0.33.3 to 0.35.0 (#236) Instant Sync #505: Commit aae4d32 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(proofs+ci): repair proof corpus, unbreak Agda CI, and gate every … Instant Sync #504: Commit ec3f06c pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(deps): bump rand from 0.9.4 to 0.10.1 (#227) Instant Sync #503: Commit a26e628 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(scripts): idempotent proof-toolchain self-provisioning script (… Instant Sync #502: Commit bbdaa21 pushed by hyperpolymath
Startup failure main
main
Startup failure
test(ci): verify echidna workflows with codeql/hypatia fixes Instant Sync #501: Commit 48504df pushed by hyperpolymath
Startup failure main
main
Startup failure
Feat/b7 audit correction and fixtures (#221) Instant Sync #500: Commit 32dd499 pushed by hyperpolymath
Startup failure main
main
Startup failure