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
fix(ci): re-pin rust-ci-reusable.yml past the toolchain-required-inpu… Instant Sync #549: Commit a9632ce pushed by hyperpolymath
1m 7s main
main
1m 7s
chore(deps): bump the actions group with 5 updates (#290) Instant Sync #548: Commit d298981 pushed by hyperpolymath
4m 48s main
main
4m 48s
chore(deps): bump rmcp from 1.7.0 to 2.0.0 (#289) Instant Sync #547: Commit b0c201f pushed by hyperpolymath
1m 33s main
main
1m 33s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#291) Instant Sync #546: Commit c1e9ab6 pushed by hyperpolymath
35m 41s main
main
35m 41s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Instant Sync #545: Commit c601d02 pushed by hyperpolymath
42m 40s main
main
42m 40s
feat(ci): attest build provenance (#287) Instant Sync #544: Commit 4b3e0cb pushed by hyperpolymath
10h 6m 50s main
main
10h 6m 50s
chore(ci): add dormant push-email notification workflow (#286) Instant Sync #543: Commit 15aa05a pushed by hyperpolymath
1d 0h 5m 57s main
main
1d 0h 5m 57s
chore(clade): backfill [status] lifecycle block (#285) Instant Sync #542: Commit 821f4b4 pushed by hyperpolymath
31m 26s main
main
31m 26s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #541: Commit f690c7d pushed by hyperpolymath
11h 2m 22s main
main
11h 2m 22s
chore(ci): bump standards reusable workflow pins (#283) Instant Sync #540: Commit 2e384eb pushed by hyperpolymath
1h 19m 6s main
main
1h 19m 6s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #539: Commit 4932d70 pushed by hyperpolymath
4m 20s main
main
4m 20s
fix(proofs): comprehensively nat-annotate EchidnaNat to green the Isa… Instant Sync #538: Commit ff435d0 pushed by hyperpolymath
44s main
main
44s
fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix ver… Instant Sync #537: Commit 6848193 pushed by hyperpolymath
37s main
main
37s
fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list… Instant Sync #536: Commit 990a367 pushed by hyperpolymath
14s main
main
14s
fix(proofs): repair Isabelle/Mizar self-proof corpora for the weekly … Instant Sync #535: Commit c7a12bf pushed by hyperpolymath
19s main
main
19s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpor… Instant Sync #534: Commit 0b5725d pushed by hyperpolymath
9s main
main
9s
ci(proofs): gate the Idris2 verification corpus (verification/proofs/… Instant Sync #533: Commit 9969ff0 pushed by hyperpolymath
27s main
main
27s
ci(proofs): gate the Lean 4 verification corpus (verification/proofs/… Instant Sync #532: Commit 969b73e pushed by hyperpolymath
10s main
main
10s
proofs(agda): reach literal zero axioms (discharge funext + Conflicts… Instant Sync #531: Commit ed5602b pushed by hyperpolymath
8s main
main
8s
fix(build): de-duplicate Cargo.lock capnp (closes #272) + refresh gui… Instant Sync #530: Commit 402d303 pushed by hyperpolymath
9s main
main
9s
chore: add RSR git hooks + AFFIRMATION.adoc + 2026-06-15 handoff/stat… Instant Sync #529: Commit e2252af pushed by hyperpolymath
12s main
main
12s
chore(deps): bump capnpc from 0.25.3 to 0.26.0 (#267) Instant Sync #528: Commit 7c3495a pushed by hyperpolymath
1m 25s main
main
1m 25s
chore(deps): bump the actions group with 3 updates (#270) Instant Sync #527: Commit 13c3424 pushed by hyperpolymath
1m 8s main
main
1m 8s
chore(deps): bump capnp from 0.25.5 to 0.26.0 (#269) Instant Sync #526: Commit 8c84637 pushed by hyperpolymath
9s main
main
9s
chore(deps): bump tower-http from 0.6.11 to 0.7.0 (#268) Instant Sync #525: Commit 299c1a9 pushed by hyperpolymath
7s main
main
7s