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
chore(deps): bump criterion from 0.5.1 to 0.8.2 (#122) Instant Sync #424: Commit fd09dcb pushed by hyperpolymath
48s main
main
48s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 (#124) Instant Sync #423: Commit 7c48246 pushed by hyperpolymath
40s main
main
40s
chore(deps): bump nom from 7.1.3 to 8.0.0 (#123) Instant Sync #422: Commit bcb4d45 pushed by hyperpolymath
17s main
main
17s
chore(deps): bump rand from 0.9.4 to 0.10.1 (#121) Instant Sync #421: Commit beb8052 pushed by hyperpolymath
18s main
main
18s
chore(deps): bump the actions group with 2 updates (#125) Instant Sync #420: Commit 56a8275 pushed by hyperpolymath
9s main
main
9s
chore(deps): bump axum from 0.7.9 to 0.8.9 (#120) Instant Sync #419: Commit b63b5ab pushed by hyperpolymath
7s main
main
7s
chore(v→zig): delete legacy V-lang API shim (#119) Instant Sync #418: Commit 01c9a38 pushed by hyperpolymath
12s main
main
12s
ci(live-provers): drop continue-on-error on Tier-2/3 live-test steps … Instant Sync #417: Commit 299344a pushed by hyperpolymath
22s main
main
22s
Claude/amazing cori kw a2 v (#103) Instant Sync #416: Commit 0aaf866 pushed by hyperpolymath
10h 46m 16s main
main
10h 46m 16s
chore(license): migrate to AGPL-3.0-or-later (#112) Instant Sync #415: Commit 779450d pushed by hyperpolymath
7s main
main
7s
chore(ci): replace scorecard.yml with reusable wrapper (#115) Instant Sync #414: Commit 1df06c1 pushed by hyperpolymath
13m 28s main
main
13m 28s
chore(ci): replace secret-scanner.yml with reusable wrapper (#114) Instant Sync #413: Commit a697f2d pushed by hyperpolymath
10s main
main
10s
chore(ci): replace mirror.yml with reusable wrapper (#113) Instant Sync #412: Commit 5d45497 pushed by hyperpolymath
9s main
main
9s
docs: record tech-debt audit findings (2026-05-26) (#111) Instant Sync #411: Commit aa887ee pushed by hyperpolymath
7s main
main
7s
chore(fixtures): delete stale SafeDOMExample.res ReScript fixture (Re… Instant Sync #410: Commit 92a3904 pushed by hyperpolymath
2h 45m 29s main
main
2h 45m 29s
chore(ci): bump standards governance-reusable pin past #219 fix (#116) Instant Sync #409: Commit ffa12a1 pushed by hyperpolymath
46s main
main
46s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174) (#108) Instant Sync #408: Commit b407293 pushed by hyperpolymath
9h 31m 27s main
main
9h 31m 27s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable … Instant Sync #407: Commit e4c8717 pushed by hyperpolymath
4h 23m 26s main
main
4h 23m 26s
audit: classify 2 PA021 legitimate mathematical axioms (funext + Conf… Instant Sync #406: Commit 2b59fb8 pushed by hyperpolymath
27s main
main
27s
S5 verification runbook + GNN health endpoint (#102) Instant Sync #405: Commit 982f007 pushed by hyperpolymath
23s main
main
23s
Claude/amazing cori kw a2 v (#101) Instant Sync #404: Commit 1d9a76a pushed by hyperpolymath
7s main
main
7s
Add minimal browser UI and update prover documentation (#100) Instant Sync #403: Commit 946541f pushed by hyperpolymath
56s main
main
56s
chore: migrate license from PMPL-1.0-or-later to MPL-2.0 Instant Sync #402: Commit 36c7b18 pushed by hyperpolymath
4h 13m 1s main
main
4h 13m 1s
feat(security): resolve 5 code-scanning alerts (Alerts 11, 209, 210, … Instant Sync #401: Commit 3b31454 pushed by hyperpolymath
2h 57m 30s main
main
2h 57m 30s
Add workflow-linter.yml prevention workflow Instant Sync #400: Commit 3898835 pushed by hyperpolymath
1h 31m 3s main
main
1h 31m 3s