Skip to content

Actions: hyperpolymath/bqniser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
58 workflow runs
58 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… GitHub Pages #58: Commit c123bf9 pushed by hyperpolymath
3h 15m 16s main
main
3h 15m 16s
security: re-pin secret scanner onto the real gitleaks gate (#41) GitHub Pages #57: Commit 41127b3 pushed by hyperpolymath
2m 44s main
main
2m 44s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #56: Commit 519ef12 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#39) GitHub Pages #55: Commit 7a1d509 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#38) GitHub Pages #54: Commit 16c7d09 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#37) GitHub Pages #53: Commit 6dc7951 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#36) GitHub Pages #52: Commit e752343 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #51: Commit d8ce701 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) (#34) GitHub Pages #50: Commit dd8ea77 pushed by hyperpolymath
24m 18s main
main
24m 18s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — … GitHub Pages #49: Commit f4d6a44 pushed by hyperpolymath
24m 1s main
main
24m 1s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32) GitHub Pages #48: Commit 8fc1ddf pushed by hyperpolymath
38m 37s main
main
38m 37s
P1: fix Zig FFI null-handle test under Zig 0.14.0 (#31) GitHub Pages #47: Commit a4a72a2 pushed by hyperpolymath
25m 7s main
main
25m 7s
Auto-install pinned Zig toolchain in setup + devcontainer (#30) GitHub Pages #46: Commit d29c797 pushed by hyperpolymath
26m 58s main
main
26m 58s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #45: Commit 32bf567 pushed by hyperpolymath
24m 16s main
main
24m 16s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28) GitHub Pages #44: Commit 5b796ef pushed by hyperpolymath
27m 25s main
main
27m 25s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… GitHub Pages #43: Commit fd37396 pushed by hyperpolymath
54m 27s main
main
54m 27s
chore(clade): backfill [status] lifecycle block (#25) GitHub Pages #42: Commit b9ab427 pushed by hyperpolymath
1d 0h 21m 40s main
main
1d 0h 21m 40s
chore(ci): add dormant push-email notification workflow (#26) GitHub Pages #41: Commit 8ed2e32 pushed by hyperpolymath
16m 15s main
main
16m 15s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #40: Commit 331cb27 pushed by hyperpolymath
10h 27m 25s main
main
10h 27m 25s
chore(ci): bump standards reusable workflow pins (#23) GitHub Pages #39: Commit 889cc0f pushed by hyperpolymath
1h 2m 0s main
main
1h 2m 0s
chore(nix->guix): remove flake.nix (Guix-only) (#22) GitHub Pages #38: Commit ec3ad16 pushed by hyperpolymath
1h 22m 36s main
main
1h 22m 36s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #37: Commit 3561828 pushed by hyperpolymath
1h 3m 52s main
main
1h 3m 52s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #36: Commit 586ae50 pushed by hyperpolymath
43m 40s main
main
43m 40s
Base camp: RSR Mustfile + green CI + doc de-dup (#21) GitHub Pages #35: Commit ba7822d pushed by hyperpolymath
21m 20s main
main
21m 20s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … GitHub Pages #34: Commit 4908863 pushed by hyperpolymath
22m 24s main
main
22m 24s