Skip to content

Actions: hyperpolymath/idrisiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
134 workflow runs
134 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 #134: Commit ba29d2b pushed by hyperpolymath
3h 49m 25s main
main
3h 49m 25s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #133: Pull request #52 opened by hyperpolymath
2h 50m 55s fix/governance-gate-sweep
fix/governance-gate-sweep
2h 50m 55s
security: re-pin secret scanner onto the real gitleaks gate (#51) Static Analysis Gate #132: Commit 947f2c2 pushed by hyperpolymath
47m 41s main
main
47m 41s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #131: Pull request #51 opened by hyperpolymath
6m 26s security/real-secret-gate
security/real-secret-gate
6m 26s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #130: Commit c875390 pushed by hyperpolymath
40m 48s main
main
40m 48s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #129: Pull request #50 opened by hyperpolymath
1m 10s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 10s
fix(ci): clear OSSF Scorecard startup_failure (#49) Static Analysis Gate #128: Commit 813171c pushed by hyperpolymath
1h 18m 50s main
main
1h 18m 50s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #127: Pull request #49 opened by hyperpolymath
9m 18s fix/scorecard-caller-startup
fix/scorecard-caller-startup
9m 18s
fix(clade): correct identity uuid (deterministic v5) (#48) Static Analysis Gate #126: Commit 17e2ee2 pushed by hyperpolymath
7m 53s main
main
7m 53s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #125: Pull request #48 opened by hyperpolymath
6m 50s fix/clade-uuid
fix/clade-uuid
6m 50s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#47) Static Analysis Gate #124: Commit 798961d pushed by hyperpolymath
1m 7s main
main
1m 7s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) Static Analysis Gate #123: Pull request #47 synchronize by hyperpolymath
1m 11s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 11s
ci: fmt under stable 1.96 to make rust-ci green (follow-up) Static Analysis Gate #122: Pull request #47 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Static Analysis Gate #121: Commit 1eedb56 pushed by hyperpolymath
46s main
main
46s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #120: Pull request #46 synchronize by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #119: Pull request #46 opened by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 5: end-to-end soundness capstone certificate (#45) Static Analysis Gate #118: Commit 9e56ba7 pushed by hyperpolymath
44s main
main
44s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #117: Pull request #45 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 #116: Commit bb2b581 pushed by hyperpolymath
43s main
main
43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #115: Pull request #44 synchronize by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read… Static Analysis Gate #114: Commit 7ac70ae pushed by hyperpolymath
3m 26s main
main
3m 26s
ABI Layer 3: McCarthy store/select array-update laws (write-then-read, read-other) Static Analysis Gate #113: Pull request #43 synchronize by hyperpolymath
1m 16s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 16s
feat(abi): add Semantics flagship proof — bounded array access safety… Static Analysis Gate #112: Commit 29e9bec pushed by hyperpolymath
1m 1s main
main
1m 1s
ABI Layer 2: prove bounded array access (Fin-indexed, total) — flagship Idris2 proof Static Analysis Gate #111: Pull request #42 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) Static Analysis Gate #110: Commit 5f53198 pushed by hyperpolymath
3h 13m 33s main
main
3h 13m 33s