Skip to content

Actions: hyperpolymath/chapeliser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
88 workflow runs
88 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 #88: Commit a670ff6 pushed by hyperpolymath
3h 11m 18s main
main
3h 11m 18s
security: re-pin secret scanner onto the real gitleaks gate (#51) BoJ Server Build Trigger #87: Commit 3187413 pushed by hyperpolymath
2m 44s main
main
2m 44s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #86: Commit c2ed829 pushed by hyperpolymath
30m 30s main
main
30m 30s
fix(ci): clear OSSF Scorecard startup_failure (#49) BoJ Server Build Trigger #85: Commit b064923 pushed by hyperpolymath
2m 25s main
main
2m 25s
fix(clade): correct identity uuid (deterministic v5) (#48) BoJ Server Build Trigger #84: Commit 48e09d5 pushed by hyperpolymath
41s main
main
41s
fix(soundness): generated Chapel must not report success on failed wo… BoJ Server Build Trigger #83: Commit e3ee8dc pushed by hyperpolymath
14s main
main
14s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#46) BoJ Server Build Trigger #82: Commit 1f4ef82 pushed by hyperpolymath
30s main
main
30s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #81: Commit f904f06 pushed by hyperpolymath
11s main
main
11s
ABI Layer 5: end-to-end soundness capstone certificate (#44) BoJ Server Build Trigger #80: Commit 668b8b5 pushed by hyperpolymath
10s main
main
10s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #79: Commit d9a214c pushed by hyperpolymath
10s main
main
10s
ABI Layer 3: div/mod completeness of the block partition — closes the… BoJ Server Build Trigger #78: Commit 63690d5 pushed by hyperpolymath
15s main
main
15s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) BoJ Server Build Trigger #77: Commit 338c268 pushed by hyperpolymath
23m 58s main
main
23m 58s
P3: prove partition correctness generally (all n, k), not hand-picked… BoJ Server Build Trigger #76: Commit 1eae83d pushed by hyperpolymath
8s main
main
8s
P1: align Zig FFI symbol names to the Idris2 ABI (#39) BoJ Server Build Trigger #75: Commit 095e38a pushed by hyperpolymath
51s main
main
51s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) BoJ Server Build Trigger #74: Commit 417cccd pushed by hyperpolymath
5m 59s main
main
5m 59s
ABI: make Idris2 proofs genuinely compile + de-vacuify partition/roun… BoJ Server Build Trigger #73: Commit 9a6a0f7 pushed by hyperpolymath
16s main
main
16s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) BoJ Server Build Trigger #72: Commit 72c92e1 pushed by hyperpolymath
3m 32s main
main
3m 32s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… BoJ Server Build Trigger #71: Commit 9830e82 pushed by hyperpolymath
38m 50s main
main
38m 50s
chore(clade): backfill [status] lifecycle block (#33) BoJ Server Build Trigger #70: Commit 1f21037 pushed by hyperpolymath
17h 9m 45s main
main
17h 9m 45s
chore(ci): add dormant push-email notification workflow (#34) BoJ Server Build Trigger #69: Commit b79b0b3 pushed by hyperpolymath
15h 43m 4s main
main
15h 43m 4s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … BoJ Server Build Trigger #68: Commit b99da7c pushed by hyperpolymath
8h 56m 50s main
main
8h 56m 50s
chore(ci): bump standards reusable workflow pins (#31) BoJ Server Build Trigger #67: Commit f6dbc7b pushed by hyperpolymath
47m 6s main
main
47m 6s
chore(nix->guix): remove flake.nix (Guix-only) (#30) BoJ Server Build Trigger #66: Commit 8fc7a77 pushed by hyperpolymath
41m 48s main
main
41m 48s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #65: Commit ca2fce5 pushed by hyperpolymath
54m 0s main
main
54m 0s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #64: Commit 5cda002 pushed by hyperpolymath
25m 57s main
main
25m 57s