Skip to content

Actions: hyperpolymath/wokelangiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
151 workflow runs
151 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 #151: Commit ba14fff pushed by hyperpolymath
4h 0m 2s main
main
4h 0m 2s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #150: Pull request #60 opened by hyperpolymath
4h 15m 27s fix/governance-gate-sweep
fix/governance-gate-sweep
4h 15m 27s
security: re-pin secret scanner onto the real gitleaks gate (#59) Static Analysis Gate #149: Commit 2760395 pushed by hyperpolymath
57m 10s main
main
57m 10s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #148: Pull request #59 opened by hyperpolymath
1h 24m 34s security/real-secret-gate
security/real-secret-gate
1h 24m 34s
fix(ci): clear OSSF Scorecard startup_failure (#58) Static Analysis Gate #147: Commit 58c50a5 pushed by hyperpolymath
1h 17m 28s main
main
1h 17m 28s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #146: Pull request #58 opened by hyperpolymath
1h 2m 13s fix/scorecard-caller-startup
fix/scorecard-caller-startup
1h 2m 13s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#57) Static Analysis Gate #145: Commit d024028 pushed by hyperpolymath
57s main
main
57s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Static Analysis Gate #144: Pull request #57 synchronize by hyperpolymath
51s claude/new-session-znxgm7
claude/new-session-znxgm7
51s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Static Analysis Gate #143: Pull request #57 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 5: end-to-end soundness capstone certificate (#56) Static Analysis Gate #142: Commit a24a2cf pushed by hyperpolymath
45s main
main
45s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #141: Pull request #56 synchronize by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #140: Commit 4e6560c pushed by hyperpolymath
46s main
main
46s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #139: Pull request #55 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 3: consent withdrawal (revocation removes permission) (#54) Static Analysis Gate #138: Commit de7135c pushed by hyperpolymath
50s main
main
50s
ABI Layer 3: consent withdrawal (revocation removes permission) Static Analysis Gate #137: Pull request #54 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof… Static Analysis Gate #136: Commit f5025ed pushed by hyperpolymath
1m 38s main
main
1m 38s
ABI Layer 2: prove consent-gated data actions — flagship Idris2 proof Static Analysis Gate #135: Pull request #53 opened by hyperpolymath
1m 14s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 14s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#52) Static Analysis Gate #134: Commit bd99b31 pushed by hyperpolymath
2h 45m 29s main
main
2h 45m 29s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #133: Pull request #52 opened by hyperpolymath
2h 45m 52s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 45m 52s
P1: fix Zig FFI to build and match the Idris2 ABI (#51) Static Analysis Gate #132: Commit 77eb4b8 pushed by hyperpolymath
2m 42s main
main
2m 42s
P1: fix Zig FFI to build and match the Idris2 ABI Static Analysis Gate #131: Pull request #51 opened by hyperpolymath
43s claude/new-session-1fphit
claude/new-session-1fphit
43s
Auto-install pinned Zig toolchain in setup + devcontainer (#50) Static Analysis Gate #130: Commit 56e0806 pushed by hyperpolymath
9m 51s main
main
9m 51s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #129: Pull request #50 opened by hyperpolymath
11m 28s claude/new-session-1fphit
claude/new-session-1fphit
11m 28s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #128: Commit 2c12d32 pushed by hyperpolymath
3m 45s main
main
3m 45s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #127: Pull request #49 opened by hyperpolymath
58s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
58s