Skip to content

Actions: hyperpolymath/futharkiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
128 workflow runs
128 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 #128: Commit 4445431 pushed by hyperpolymath
3h 49m 42s main
main
3h 49m 42s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #127: Pull request #49 opened by hyperpolymath
2h 40m 46s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 40m 46s
security: re-pin secret scanner onto the real gitleaks gate (#48) Static Analysis Gate #126: Commit 86343ce pushed by hyperpolymath
45m 25s main
main
45m 25s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #125: Pull request #48 opened by hyperpolymath
6m 3s security/real-secret-gate
security/real-secret-gate
6m 3s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #124: Commit bc86f5e pushed by hyperpolymath
40m 36s main
main
40m 36s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #123: Pull request #47 opened by hyperpolymath
50s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
50s
fix(ci): clear OSSF Scorecard startup_failure (#46) Static Analysis Gate #122: Commit 1b8bff1 pushed by hyperpolymath
1h 22m 55s main
main
1h 22m 55s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #121: Pull request #46 opened by hyperpolymath
7m 11s fix/scorecard-caller-startup
fix/scorecard-caller-startup
7m 11s
fix(clade): correct identity uuid (deterministic v5) (#45) Static Analysis Gate #120: Commit b6663e2 pushed by hyperpolymath
6m 4s main
main
6m 4s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #119: Pull request #45 opened by hyperpolymath
3m 22s fix/clade-uuid
fix/clade-uuid
3m 22s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) Static Analysis Gate #118: Commit 017b6cc pushed by hyperpolymath
1m 17s main
main
1m 17s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Static Analysis Gate #117: Pull request #44 synchronize by hyperpolymath
57s claude/new-session-znxgm7
claude/new-session-znxgm7
57s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy Static Analysis Gate #116: Pull request #44 opened by hyperpolymath
52s claude/new-session-znxgm7
claude/new-session-znxgm7
52s
ABI Layer 5: end-to-end soundness capstone certificate (#43) Static Analysis Gate #115: Commit bf39d4b pushed by hyperpolymath
40s main
main
40s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #114: Pull request #43 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #113: Commit c7d5d14 pushed by hyperpolymath
50s main
main
50s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #112: Pull request #42 synchronize by hyperpolymath
44s claude/new-session-znxgm7
claude/new-session-znxgm7
44s
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) Static Analysis Gate #111: Commit 5416e5e pushed by hyperpolymath
3m 38s main
main
3m 38s
ABI Layer 3: cross-SOAC map/zipWith fusion law Static Analysis Gate #110: Pull request #41 synchronize by hyperpolymath
1m 7s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 7s
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) Static Analysis Gate #109: Commit 88732af pushed by hyperpolymath
1m 51s main
main
1m 51s
ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof Static Analysis Gate #108: Pull request #40 opened by hyperpolymath
54s claude/new-session-znxgm7
claude/new-session-znxgm7
54s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) Static Analysis Gate #107: Commit 3fa6ff2 pushed by hyperpolymath
3h 17m 55s main
main
3h 17m 55s
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #106: Pull request #39 opened by hyperpolymath
3h 17m 31s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 17m 31s
P1: fix Zig FFI to build and match the Idris2 ABI (#38) Static Analysis Gate #105: Commit 659af4a pushed by hyperpolymath
2m 38s main
main
2m 38s
P1: fix Zig FFI to build and match the Idris2 ABI Static Analysis Gate #104: Pull request #38 opened by hyperpolymath
42s claude/new-session-1fphit
claude/new-session-1fphit
42s