Skip to content

Actions: hyperpolymath/bqniser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
117 workflow runs
117 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… Static Analysis Gate #117: Commit c123bf9 pushed by hyperpolymath
3h 48m 1s main
main
3h 48m 1s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #116: Pull request #42 opened by hyperpolymath
39m 15s fix/governance-gate-sweep
fix/governance-gate-sweep
39m 15s
security: re-pin secret scanner onto the real gitleaks gate (#41) Static Analysis Gate #115: Commit 41127b3 pushed by hyperpolymath
37m 22s main
main
37m 22s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #114: Pull request #41 opened by hyperpolymath
1m 45s security/real-secret-gate
security/real-secret-gate
1m 45s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #113: Commit 519ef12 pushed by hyperpolymath
38m 23s main
main
38m 23s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #112: Pull request #40 opened by hyperpolymath
51s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
51s
fix(ci): clear OSSF Scorecard startup_failure (#39) Static Analysis Gate #111: Commit 7a1d509 pushed by hyperpolymath
1h 16m 5s main
main
1h 16m 5s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #110: Pull request #39 opened by hyperpolymath
5m 5s fix/scorecard-caller-startup
fix/scorecard-caller-startup
5m 5s
fix(clade): correct identity uuid (deterministic v5) (#38) Static Analysis Gate #109: Commit 16c7d09 pushed by hyperpolymath
1m 44s main
main
1m 44s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #108: Pull request #38 opened by hyperpolymath
2m 51s fix/clade-uuid
fix/clade-uuid
2m 51s
ci: make CI genuinely green — rust-ci toolchain pin (#37) Static Analysis Gate #107: Commit 6dc7951 pushed by hyperpolymath
44s main
main
44s
ci: make CI genuinely green — rust-ci toolchain pin Static Analysis Gate #106: Pull request #37 synchronize by hyperpolymath
1m 1s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 1s
ci: make CI genuinely green — rust-ci toolchain pin Static Analysis Gate #105: Pull request #37 opened by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ABI Layer 5: end-to-end soundness capstone certificate (#36) Static Analysis Gate #104: Commit e752343 pushed by hyperpolymath
45s main
main
45s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #103: Pull request #36 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #102: Commit d8ce701 pushed by hyperpolymath
43s main
main
43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #101: Pull request #35 synchronize by hyperpolymath
41s claude/new-session-znxgm7
claude/new-session-znxgm7
41s
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) (#34) Static Analysis Gate #100: Commit dd8ea77 pushed by hyperpolymath
2m 27s main
main
2m 27s
ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g)) Static Analysis Gate #99: Pull request #34 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — … Static Analysis Gate #98: Commit f4d6a44 pushed by hyperpolymath
37s main
main
37s
ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — flagship Idris2 proof Static Analysis Gate #97: Pull request #33 opened by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32) Static Analysis Gate #96: Commit 8fc1ddf pushed by hyperpolymath
1h 31m 44s main
main
1h 31m 44s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #95: Pull request #32 opened by hyperpolymath
1h 34m 17s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 34m 17s
P1: fix Zig FFI null-handle test under Zig 0.14.0 (#31) Static Analysis Gate #94: Commit a4a72a2 pushed by hyperpolymath
1m 12s main
main
1m 12s
P1: fix Zig FFI null-handle test under Zig 0.14.0 Static Analysis Gate #93: Pull request #31 opened by hyperpolymath
42s claude/new-session-1fphit
claude/new-session-1fphit
42s