Skip to content

Actions: hyperpolymath/echidna

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
637 workflow runs
637 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 (… BoJ Server Build Trigger #637: Commit ba373a8 pushed by hyperpolymath
36s main
main
36s
chapel: bench_mrr outcome telemetry (#162) + prover-count reconciliat… BoJ Server Build Trigger #636: Commit 9c422f8 pushed by hyperpolymath
23s main
main
23s
docs: resolve verified .md to .adoc structural drift (#242) (#393) BoJ Server Build Trigger #635: Commit 58124bf pushed by hyperpolymath
21s main
main
21s
chore(deps): bump the actions group with 4 updates (#392) BoJ Server Build Trigger #634: Commit 5ac85b4 pushed by hyperpolymath
23s main
main
23s
chore(deps): bump rmcp from 3.3.0 to 3.4.0 (#391) BoJ Server Build Trigger #633: Commit 4542a19 pushed by hyperpolymath
21s main
main
21s
fix(gates): gate on the DEED grammar, per the template and standards#… BoJ Server Build Trigger #632: Commit ff378b1 pushed by hyperpolymath
6h 6m 1s main
main
6h 6m 1s
fix(ci): reconcile actions.lock so the lockfile validates (#390) BoJ Server Build Trigger #631: Commit f44775d pushed by hyperpolymath
4h 53m 42s main
main
4h 53m 42s
chore(ci): remove dead Codecov upload steps + lock pins (#388) BoJ Server Build Trigger #630: Commit 43e7e06 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): pin third-party actions to full commit SHAs (#387) BoJ Server Build Trigger #629: Commit 6ae5650 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(governance): stop declaring repository identity in settings.yml… BoJ Server Build Trigger #628: Commit 62975f4 pushed by hyperpolymath
14m 52s main
main
14m 52s
refactor(root): relocate the contributing guide into .github/ (#385) BoJ Server Build Trigger #627: Commit 8089410 pushed by hyperpolymath
3h 10m 59s main
main
3h 10m 59s
refactor(root): move root artefacts to their canonical locations (#384) BoJ Server Build Trigger #626: Commit ccc52d1 pushed by hyperpolymath
2h 27m 36s main
main
2h 27m 36s
chore(www): migrate root .well-known/ to www/.well-known/ (#383) BoJ Server Build Trigger #625: Commit e14067c pushed by hyperpolymath
58m 6s main
main
58m 6s
chore(deps): bump rmcp from 3.2.0 to 3.3.0 (#380) BoJ Server Build Trigger #624: Commit dc1ac79 pushed by hyperpolymath
36s main
main
36s
chore(deps): bump strum from 0.27.2 to 0.28.0 (#381) BoJ Server Build Trigger #623: Commit 252685e pushed by hyperpolymath
15s main
main
15s
chore(deps): bump the actions group with 3 updates (#382) BoJ Server Build Trigger #622: Commit e6c6ddb pushed by hyperpolymath
21s main
main
21s
fix(ci): make the dogfood gate .deed-aware (#379) BoJ Server Build Trigger #621: Commit 66e76a9 pushed by hyperpolymath
21s main
main
21s
chore(deps): bump capnp from 0.26.0 to 0.27.1 (#378) BoJ Server Build Trigger #620: Commit 6e9cacf pushed by hyperpolymath
1m 5s main
main
1m 5s
chore(deps): bump the actions group across 1 directory with 4 updates… BoJ Server Build Trigger #619: Commit efe4763 pushed by hyperpolymath
30s main
main
30s
fix(ci): the invisible-character gate never matched anything (#369) BoJ Server Build Trigger #618: Commit 5223982 pushed by hyperpolymath
53s main
main
53s
chore(deps): bump uuid from 1.25.0 to 1.26.0 (#373) BoJ Server Build Trigger #617: Commit 39f2e7a pushed by hyperpolymath
33s main
main
33s
chore(deps): bump rmcp from 3.1.2 to 3.2.0 (#374) BoJ Server Build Trigger #616: Commit c341429 pushed by hyperpolymath
19s main
main
19s
fix(proof): require real proof rejection and valid Coq submissions (#… BoJ Server Build Trigger #615: Commit 13e7d47 pushed by hyperpolymath
17s main
main
17s
docs(agents): add a GEMINI.md pointer to the maintained instructions … BoJ Server Build Trigger #614: Commit ca0d84f pushed by hyperpolymath
19s main
main
19s
Merge branch 'chore/bump-standards-pins' BoJ Server Build Trigger #613: Commit 556d646 pushed by hyperpolymath
1m 5s main
main
1m 5s