Skip to content

Actions: hyperpolymath/atsiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
84 workflow runs
84 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): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #84: Commit 76a8a45 pushed by hyperpolymath
3h 21m 3s main
main
3h 21m 3s
security: re-pin secret scanner onto the real gitleaks gate (#53) BoJ Server Build Trigger #83: Commit 7a974a2 pushed by hyperpolymath
56s main
main
56s
chore(deps): bump regex from 1.12.3 to 1.13.0 (#52) BoJ Server Build Trigger #82: Commit 67e4865 pushed by hyperpolymath
1m 0s main
main
1m 0s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #81: Commit 67aed16 pushed by hyperpolymath
30m 53s main
main
30m 53s
fix(ci): clear OSSF Scorecard startup_failure (#50) BoJ Server Build Trigger #80: Commit 34c9ee1 pushed by hyperpolymath
14s main
main
14s
fix(clade): correct identity uuid (deterministic v5) (#49) BoJ Server Build Trigger #79: Commit 1176671 pushed by hyperpolymath
31s main
main
31s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48) BoJ Server Build Trigger #78: Commit 2656f00 pushed by hyperpolymath
9s main
main
9s
ABI Layer 5: end-to-end soundness capstone certificate (#47) BoJ Server Build Trigger #77: Commit e65ee21 pushed by hyperpolymath
7s main
main
7s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #76: Commit 87aad80 pushed by hyperpolymath
8s main
main
8s
ABI Layer 3: transition soundness of linear free (state + address p… BoJ Server Build Trigger #75: Commit 38ac343 pushed by hyperpolymath
8s main
main
8s
ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do… BoJ Server Build Trigger #74: Commit 4ad7cb3 pushed by hyperpolymath
9s main
main
9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#43) BoJ Server Build Trigger #73: Commit 04b3009 pushed by hyperpolymath
2m 50s main
main
2m 50s
P1: implement real Zig FFI matching the Idris2 ABI (#42) BoJ Server Build Trigger #72: Commit 458701d pushed by hyperpolymath
39s main
main
39s
Auto-install pinned Zig toolchain in setup + devcontainer (#41) BoJ Server Build Trigger #71: Commit 6fe9694 pushed by hyperpolymath
24s main
main
24s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #70: Commit b3caa84 pushed by hyperpolymath
14s main
main
14s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#39) BoJ Server Build Trigger #69: Commit 9ce2805 pushed by hyperpolymath
3m 5s main
main
3m 5s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… BoJ Server Build Trigger #68: Commit 15b859c pushed by hyperpolymath
24m 31s main
main
24m 31s
chore(ci): add dormant push-email notification workflow (#37) BoJ Server Build Trigger #67: Commit 67eaa56 pushed by hyperpolymath
16h 42m 59s main
main
16h 42m 59s
chore(clade): backfill [status] lifecycle block (#36) BoJ Server Build Trigger #66: Commit 056af44 pushed by hyperpolymath
14h 14m 12s main
main
14h 14m 12s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #65: Commit ab40d1d pushed by hyperpolymath
9h 9m 2s main
main
9h 9m 2s
chore(ci): bump standards reusable workflow pins (#34) BoJ Server Build Trigger #64: Commit ac59977 pushed by hyperpolymath
23m 25s main
main
23m 25s
chore(nix->guix): remove flake.nix (Guix-only) (#33) BoJ Server Build Trigger #63: Commit ec57899 pushed by hyperpolymath
38m 26s main
main
38m 26s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #62: Commit cfc94d9 pushed by hyperpolymath
56m 11s main
main
56m 11s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #61: Commit d76ecd9 pushed by hyperpolymath
24m 17s main
main
24m 17s
docs: de-dup README (keep .adoc, port sponsor badge) (#32) BoJ Server Build Trigger #60: Commit c36a8db pushed by hyperpolymath
13s main
main
13s