Skip to content

Actions: hyperpolymath/halideiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
122 workflow runs
122 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 #122: Commit ab6116e pushed by hyperpolymath
3h 49m 8s main
main
3h 49m 8s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #121: Pull request #45 opened by hyperpolymath
2h 42m 15s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 42m 15s
security: re-pin secret scanner onto the real gitleaks gate (#44) Static Analysis Gate #120: Commit ec8ee09 pushed by hyperpolymath
45m 25s main
main
45m 25s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #119: Pull request #44 opened by hyperpolymath
7m 40s security/real-secret-gate
security/real-secret-gate
7m 40s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #118: Commit 13d0e80 pushed by hyperpolymath
41m 37s main
main
41m 37s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #117: Pull request #43 opened by hyperpolymath
48s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
48s
fix(ci): clear OSSF Scorecard startup_failure (#42) Static Analysis Gate #116: Commit c763d82 pushed by hyperpolymath
1h 15m 56s main
main
1h 15m 56s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #115: Pull request #42 opened by hyperpolymath
8m 29s fix/scorecard-caller-startup
fix/scorecard-caller-startup
8m 29s
fix(clade): correct identity uuid (deterministic v5) (#41) Static Analysis Gate #114: Commit 312ce8f pushed by hyperpolymath
8m 44s main
main
8m 44s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #113: Pull request #41 opened by hyperpolymath
6m 10s fix/clade-uuid
fix/clade-uuid
6m 10s
ci: make CI genuinely green — rust-ci toolchain pin (#40) Static Analysis Gate #112: Commit 2d8a1cf pushed by hyperpolymath
41s main
main
41s
ci: make CI genuinely green — rust-ci toolchain pin Static Analysis Gate #111: Pull request #40 synchronize by hyperpolymath
55s claude/new-session-znxgm7
claude/new-session-znxgm7
55s
ci: make CI genuinely green — rust-ci toolchain pin Static Analysis Gate #110: Pull request #40 opened by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ABI Layer 5: end-to-end soundness capstone certificate (#39) Static Analysis Gate #109: Commit 1c0b550 pushed by hyperpolymath
49s main
main
49s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #108: Pull request #39 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 #107: Commit 0088171 pushed by hyperpolymath
47s main
main
47s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #106: Pull request #38 synchronize by hyperpolymath
45s claude/new-session-znxgm7
claude/new-session-znxgm7
45s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… Static Analysis Gate #105: Commit 8544be8 pushed by hyperpolymath
2m 54s main
main
2m 54s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) Static Analysis Gate #104: Pull request #37 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) Static Analysis Gate #103: Commit 7e3f5ee pushed by hyperpolymath
1m 11s main
main
1m 11s
ABI Layer 2: prove schedule equivalence (loop split) — flagship Idris2 proof Static Analysis Gate #102: Pull request #36 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) Static Analysis Gate #101: Commit e190e0f pushed by hyperpolymath
3h 16m 6s main
main
3h 16m 6s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #100: Pull request #35 opened by hyperpolymath
3h 16m 0s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 16m 0s
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) Static Analysis Gate #99: Commit 7aa69f9 pushed by hyperpolymath
1m 32s main
main
1m 32s
P1: fix Zig FFI to compile under Zig 0.14.0 Static Analysis Gate #98: Pull request #34 opened by hyperpolymath
39s claude/new-session-1fphit
claude/new-session-1fphit
39s