Skip to content

Actions: hyperpolymath/proof-burrower

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
187 workflow runs
187 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
docs(plans): ultraplan and cross-repo hand-offs (plan only) (#106) BoJ Server Build Trigger #187: Commit be897dd pushed by hyperpolymath
8s main
main
8s
chore(deps): bump the actions group with 11 updates (#103) BoJ Server Build Trigger #186: Commit 916e77e pushed by hyperpolymath
33m 45s main
main
33m 45s
First-run start point: identity, echidna.prove.result/1 consumer, tem… BoJ Server Build Trigger #185: Commit 83c683a pushed by hyperpolymath
9s main
main
9s
ci(hypatia): standardise the wrapper caller id to the canonical `hypa… BoJ Server Build Trigger #184: Commit ea6674c pushed by hyperpolymath
14s main
main
14s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3… BoJ Server Build Trigger #183: Commit aa46c9a pushed by hyperpolymath
2m 41s main
main
2m 41s
fix(ci): reconcile actions.lock so the lockfile validates (#99) BoJ Server Build Trigger #182: Commit dc210e9 pushed by hyperpolymath
5h 54m 57s main
main
5h 54m 57s
fix(gates): gate on the DEED grammar, per the template and standards#… BoJ Server Build Trigger #181: Commit b9f4121 pushed by hyperpolymath
4h 35m 57s main
main
4h 35m 57s
fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam… BoJ Server Build Trigger #180: Commit f316240 pushed by hyperpolymath
2h 29m 39s main
main
2h 29m 39s
fix(ci): pin cicd-suite at 5a10b72 (DEED-era gates) BoJ Server Build Trigger #179: Commit d9458ce pushed by hyperpolymath
23m 51s main
main
23m 51s
fix(ci): bump cicd-suite lock pin / zig gate ref to b25f613 (post-ren… BoJ Server Build Trigger #178: Commit d52c010 pushed by hyperpolymath
48s main
main
48s
chore(ci): drop the Codecov upload step (app uninstalled estate-wide)… BoJ Server Build Trigger #177: Commit 1329a3c pushed by hyperpolymath
6m 21s main
main
6m 21s
refactor: rename Hexadeca → unified-api-adapter (estate-wide) (#95) BoJ Server Build Trigger #176: Commit e3e39c2 pushed by hyperpolymath
1h 1m 47s main
main
1h 1m 47s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … BoJ Server Build Trigger #175: Commit fe94842 pushed by hyperpolymath
50m 2s main
main
50m 2s
fix(ci): pin third-party actions to full commit SHAs (#92) BoJ Server Build Trigger #174: Commit 35a516e pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(governance): stop declaring repository identity in settings.yml… BoJ Server Build Trigger #173: Commit 303175f pushed by hyperpolymath
16m 5s main
main
16m 5s
ci(rhodibot): switch to the report-only canary (standards#759) (#90) BoJ Server Build Trigger #172: Commit 0300608 pushed by hyperpolymath
20m 5s main
main
20m 5s
fix(docs): list the contributing guide where it actually lives (#89) BoJ Server Build Trigger #171: Commit 4e18293 pushed by hyperpolymath
7m 4s main
main
7m 4s
refactor(root): move root artefacts to their canonical locations (#88) BoJ Server Build Trigger #170: Commit 90a71af pushed by hyperpolymath
2h 9m 50s main
main
2h 9m 50s
chore(www): migrate root .well-known/ to www/.well-known/ (#87) BoJ Server Build Trigger #169: Commit 92b5e23 pushed by hyperpolymath
2h 6m 53s main
main
2h 6m 53s
fix(a2ml): move core files out of the retired 6a2/ location (unblocks… BoJ Server Build Trigger #168: Commit 78d8dd7 pushed by hyperpolymath
8s main
main
8s
fix(ci): stop blocking Bun — it is tier 1, not an anti-pattern (#76) BoJ Server Build Trigger #167: Commit 247994d pushed by hyperpolymath
11s main
main
11s
fix(ci): pin standards reusables to default-branch HEAD (#86) BoJ Server Build Trigger #166: Commit 8082414 pushed by hyperpolymath
9s main
main
9s
fix(ci): repair published mirror workflow revision (#85) BoJ Server Build Trigger #165: Commit b037578 pushed by hyperpolymath
10s main
main
10s
policy: Bun is tier 1, Deno is being removed — correct local CLAUDE.m… BoJ Server Build Trigger #164: Commit 067154c pushed by hyperpolymath
6m 5s main
main
6m 5s
fix(tests): terminate find -exec and pass {} — the placeholder step w… BoJ Server Build Trigger #163: Commit 3fd8bf0 pushed by hyperpolymath
9s main
main
9s