Skip to content

Actions: hyperpolymath/echidna

Actions

GitHub Pages (Ddraig SSG)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
64 workflow runs
64 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): repair workflow gates and reconcile remaining issue status (… GitHub Pages (Ddraig SSG) #64: Commit ba373a8 pushed by hyperpolymath
1m 6s main
main
1m 6s
chapel: bench_mrr outcome telemetry (#162) + prover-count reconciliat… GitHub Pages (Ddraig SSG) #63: Commit 9c422f8 pushed by hyperpolymath
57s main
main
57s
docs: resolve verified .md to .adoc structural drift (#242) (#393) GitHub Pages (Ddraig SSG) #62: Commit 58124bf pushed by hyperpolymath
1m 9s main
main
1m 9s
chore(deps): bump the actions group with 4 updates (#392) GitHub Pages (Ddraig SSG) #61: Commit 5ac85b4 pushed by hyperpolymath
1m 6s main
main
1m 6s
chore(deps): bump rmcp from 3.3.0 to 3.4.0 (#391) GitHub Pages (Ddraig SSG) #60: Commit 4542a19 pushed by hyperpolymath
59s main
main
59s
fix(gates): gate on the DEED grammar, per the template and standards#… GitHub Pages (Ddraig SSG) #59: Commit ff378b1 pushed by hyperpolymath
6h 45m 28s main
main
6h 45m 28s
fix(ci): reconcile actions.lock so the lockfile validates (#390) GitHub Pages (Ddraig SSG) #58: Commit f44775d pushed by hyperpolymath
8h 3m 37s main
main
8h 3m 37s
chore(ci): remove dead Codecov upload steps + lock pins (#388) GitHub Pages (Ddraig SSG) #57: Commit 43e7e06 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): pin third-party actions to full commit SHAs (#387) GitHub Pages (Ddraig SSG) #56: Commit 6ae5650 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(governance): stop declaring repository identity in settings.yml… GitHub Pages (Ddraig SSG) #55: Commit 62975f4 pushed by hyperpolymath
27m 20s main
main
27m 20s
refactor(root): relocate the contributing guide into .github/ (#385) GitHub Pages (Ddraig SSG) #54: Commit 8089410 pushed by hyperpolymath
3h 24m 9s main
main
3h 24m 9s
refactor(root): move root artefacts to their canonical locations (#384) GitHub Pages (Ddraig SSG) #53: Commit ccc52d1 pushed by hyperpolymath
3h 13m 59s main
main
3h 13m 59s
chore(www): migrate root .well-known/ to www/.well-known/ (#383) GitHub Pages (Ddraig SSG) #52: Commit e14067c pushed by hyperpolymath
2h 49m 12s main
main
2h 49m 12s
chore(deps): bump rmcp from 3.2.0 to 3.3.0 (#380) GitHub Pages (Ddraig SSG) #51: Commit dc1ac79 pushed by hyperpolymath
2m 49s main
main
2m 49s
chore(deps): bump strum from 0.27.2 to 0.28.0 (#381) GitHub Pages (Ddraig SSG) #50: Commit 252685e pushed by hyperpolymath
16s main
main
16s
chore(deps): bump the actions group with 3 updates (#382) GitHub Pages (Ddraig SSG) #49: Commit e6c6ddb pushed by hyperpolymath
1m 0s main
main
1m 0s
fix(ci): make the dogfood gate .deed-aware (#379) GitHub Pages (Ddraig SSG) #48: Commit 66e76a9 pushed by hyperpolymath
1m 38s main
main
1m 38s
chore(deps): bump capnp from 0.26.0 to 0.27.1 (#378) GitHub Pages (Ddraig SSG) #47: Commit 6e9cacf pushed by hyperpolymath
1m 49s main
main
1m 49s
chore(deps): bump the actions group across 1 directory with 4 updates… GitHub Pages (Ddraig SSG) #46: Commit efe4763 pushed by hyperpolymath
1m 26s main
main
1m 26s
fix(ci): the invisible-character gate never matched anything (#369) GitHub Pages (Ddraig SSG) #45: Commit 5223982 pushed by hyperpolymath
1m 16s main
main
1m 16s
chore(deps): bump uuid from 1.25.0 to 1.26.0 (#373) GitHub Pages (Ddraig SSG) #44: Commit 39f2e7a pushed by hyperpolymath
28s main
main
28s
chore(deps): bump rmcp from 3.1.2 to 3.2.0 (#374) GitHub Pages (Ddraig SSG) #43: Commit c341429 pushed by hyperpolymath
1m 32s main
main
1m 32s
fix(proof): require real proof rejection and valid Coq submissions (#… GitHub Pages (Ddraig SSG) #42: Commit 13e7d47 pushed by hyperpolymath
21s main
main
21s
docs(agents): add a GEMINI.md pointer to the maintained instructions … GitHub Pages (Ddraig SSG) #41: Commit ca0d84f pushed by hyperpolymath
55s main
main
55s
Merge branch 'chore/bump-standards-pins' GitHub Pages (Ddraig SSG) #40: Commit 556d646 pushed by hyperpolymath
3m 4s main
main
3m 4s