Skip to content

Actions: hyperpolymath/nimiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
124 workflow runs
124 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 #124: Commit 5c3527f pushed by hyperpolymath
3h 54m 19s main
main
3h 54m 19s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #123: Pull request #45 opened by hyperpolymath
4h 8m 4s fix/governance-gate-sweep
fix/governance-gate-sweep
4h 8m 4s
security: re-pin secret scanner onto the real gitleaks gate (#44) Static Analysis Gate #122: Commit 2625666 pushed by hyperpolymath
59m 58s main
main
59m 58s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #121: Pull request #44 opened by hyperpolymath
33m 48s security/real-secret-gate
security/real-secret-gate
33m 48s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #120: Commit 8d8fdf3 pushed by hyperpolymath
42m 41s main
main
42m 41s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #119: Pull request #43 opened by hyperpolymath
3m 0s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
3m 0s
fix(ci): clear OSSF Scorecard startup_failure (#42) Static Analysis Gate #118: Commit 1dfd6e5 pushed by hyperpolymath
1h 21m 10s main
main
1h 21m 10s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #117: Pull request #42 opened by hyperpolymath
11m 55s fix/scorecard-caller-startup
fix/scorecard-caller-startup
11m 55s
fix(clade): correct identity uuid (deterministic v5) (#41) Static Analysis Gate #116: Commit 1cbe5d3 pushed by hyperpolymath
18m 21s main
main
18m 21s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #115: Pull request #41 opened by hyperpolymath
18m 36s fix/clade-uuid
fix/clade-uuid
18m 36s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Static Analysis Gate #114: Commit 35c90de pushed by hyperpolymath
51s main
main
51s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint Static Analysis Gate #113: Pull request #40 synchronize by hyperpolymath
1m 3s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 3s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + workflow-lint Static Analysis Gate #112: Pull request #40 opened by hyperpolymath
42s claude/new-session-znxgm7
claude/new-session-znxgm7
42s
ABI Layer 5: end-to-end soundness capstone certificate (#39) Static Analysis Gate #111: Commit 7fda0e9 pushed by hyperpolymath
46s main
main
46s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #110: Pull request #39 synchronize by hyperpolymath
43s claude/new-session-znxgm7
claude/new-session-znxgm7
43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #109: Commit 8e0badc pushed by hyperpolymath
48s main
main
48s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #108: Pull request #38 synchronize by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 3: type-lowering injectivity + composition (two deeper code… Static Analysis Gate #107: Commit d6ec80c pushed by hyperpolymath
4m 12s main
main
4m 12s
ABI Layer 3: type-lowering injectivity + composition (two deeper codegen theorems) Static Analysis Gate #106: Pull request #37 synchronize by hyperpolymath
55s claude/new-session-znxgm7
claude/new-session-znxgm7
55s
abi(nimiser): prove C-binding signature preservation (Layer 2) (#36) Static Analysis Gate #105: Commit 5b2fada pushed by hyperpolymath
2m 5s main
main
2m 5s
ABI Layer 2: prove C-binding signature preservation — flagship Idris2 proof Static Analysis Gate #104: Pull request #36 opened by hyperpolymath
1m 10s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 10s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) Static Analysis Gate #103: Commit b2598e7 pushed by hyperpolymath
3h 4m 26s main
main
3h 4m 26s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #102: Pull request #35 opened by hyperpolymath
3h 4m 14s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 4m 14s
ci: add ABI↔FFI conformance gate (#34) Static Analysis Gate #101: Commit 02ed1dc pushed by hyperpolymath
1m 12s main
main
1m 12s
ci: add ABI↔FFI conformance gate Static Analysis Gate #100: Pull request #34 opened by hyperpolymath
1m 7s claude/new-session-1fphit
claude/new-session-1fphit
1m 7s