Skip to content

Actions: hyperpolymath/proven

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
495 workflow runs
495 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
[P1] Explicit postulate sweep (Fork A) (#189) BoJ Server Build Trigger #495: Commit 6c80e0b pushed by hyperpolymath
9s main
main
9s
fix(ci): estate-wide foundational remediation (#188) BoJ Server Build Trigger #494: Commit c0a762f pushed by hyperpolymath
29m 58s main
main
29m 58s
Sync local commits to main (#187) BoJ Server Build Trigger #493: Commit b2b534d pushed by hyperpolymath
21m 42s main
main
21m 42s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #492: Commit a81b6f6 pushed by hyperpolymath
2h 19m 40s main
main
2h 19m 40s
fix(ci): drop the retired inline trufflehog job (#185) BoJ Server Build Trigger #491: Commit 6295ff5 pushed by hyperpolymath
43m 12s main
main
43m 12s
ci: deploy docs via Ddraig SSG (#183) BoJ Server Build Trigger #490: Commit 0368e08 pushed by hyperpolymath
46m 21s main
main
46m 21s
fix(ci): drop invalid timeout-minutes from reusable-workflow calls (p… BoJ Server Build Trigger #489: Commit af466ea pushed by hyperpolymath
16m 14s main
main
16m 14s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #488: Commit 302f2a4 pushed by hyperpolymath
44s main
main
44s
fix(ci): clear OSSF Scorecard startup_failure (#180) BoJ Server Build Trigger #487: Commit 5d78093 pushed by hyperpolymath
12m 16s main
main
12m 16s
ci(governance): bump governance-reusable.yml pin to include hypatia#5… BoJ Server Build Trigger #486: Commit 2c081f7 pushed by hyperpolymath
2m 6s main
main
2m 6s
ECOSYSTEM: record proven-tests-and-benches as the test framework (#178) BoJ Server Build Trigger #485: Commit 8a232b8 pushed by hyperpolymath
2m 13s main
main
2m 13s
ci(codeql): run scheduled scan monthly instead of weekly (rebase of #… BoJ Server Build Trigger #484: Commit 8517154 pushed by hyperpolymath
10s main
main
10s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#176) BoJ Server Build Trigger #483: Commit df7721d pushed by hyperpolymath
1h 56m 22s main
main
1h 56m 22s
fix(d,ci): D nothrow compile fix + Trustfile gate accepts CC-BY-SA-4.… BoJ Server Build Trigger #482: Commit 2427525 pushed by hyperpolymath
11s main
main
11s
ci/licence: re-pin setup-dlang + SHA-pin trufflehog + add LICENSE SPD… BoJ Server Build Trigger #481: Commit 72d2020 pushed by hyperpolymath
14s main
main
14s
chore(licence): de-PMPL — correct proven to MPL-2.0 throughout (38 fi… BoJ Server Build Trigger #480: Commit 309afbc pushed by hyperpolymath
49s main
main
49s
feat(ci): attest container build provenance (attestation-rollout exem… BoJ Server Build Trigger #479: Commit 21c17cd pushed by hyperpolymath
10h 46m 7s main
main
10h 46m 7s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #478: Commit c454acb pushed by hyperpolymath
15h 30m 39s main
main
15h 30m 39s
chore(clade): backfill [status] lifecycle block (#170) BoJ Server Build Trigger #477: Commit 20943c9 pushed by hyperpolymath
19m 30s main
main
19m 30s
chore(ci): add dormant push-email notification workflow (#169) BoJ Server Build Trigger #476: Commit ba7bfab pushed by hyperpolymath
32s main
main
32s
chore(ci): bump standards reusable-workflow pins to d135b05 (#168) BoJ Server Build Trigger #475: Commit 836d6d5 pushed by hyperpolymath
1m 23s main
main
1m 23s
audit: record verified panic-attack 2.5.5 scan results (follow-up to … BoJ Server Build Trigger #474: Commit 48d40d7 pushed by hyperpolymath
4m 56s main
main
4m 56s
security: triage Track C panic-attack findings (#68) — fix stubs.c, c… BoJ Server Build Trigger #473: Commit 9a5a016 pushed by hyperpolymath
50m 36s main
main
50m 36s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #472: Commit 78571fe pushed by hyperpolymath
23m 18s main
main
23m 18s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #471: Commit 9ddee66 pushed by hyperpolymath
1m 55s main
main
1m 55s