Skip to content

Actions: hyperpolymath/iseriser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
182 workflow runs
182 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 #182: Commit 5581786 pushed by hyperpolymath
3h 50m 8s main
main
3h 50m 8s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump Static Analysis Gate #181: Pull request #83 opened by hyperpolymath
3h 2m 48s fix/governance-gate-sweep
fix/governance-gate-sweep
3h 2m 48s
security: re-pin secret scanner onto the real gitleaks gate (#82) Static Analysis Gate #180: Commit ad848dd pushed by hyperpolymath
45m 42s main
main
45m 42s
security: re-pin secret scanner onto the real gitleaks gate Static Analysis Gate #179: Pull request #82 opened by hyperpolymath
6m 46s security/real-secret-gate
security/real-secret-gate
6m 46s
ci: Secret Scanner caller must grant the reusable's job permissions (… Static Analysis Gate #178: Commit bcf7ad8 pushed by hyperpolymath
40m 37s main
main
40m 37s
ci: Secret Scanner caller must grant the reusable's job permissions Static Analysis Gate #177: Pull request #81 opened by hyperpolymath
1m 2s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
1m 2s
fix(ci): clear OSSF Scorecard startup_failure (#80) Static Analysis Gate #176: Commit fe437da pushed by hyperpolymath
1h 21m 56s main
main
1h 21m 56s
fix(ci): clear OSSF Scorecard startup_failure Static Analysis Gate #175: Pull request #80 opened by hyperpolymath
8m 10s fix/scorecard-caller-startup
fix/scorecard-caller-startup
8m 10s
fix(clade): correct identity uuid (deterministic v5) (#79) Static Analysis Gate #174: Commit eb6e962 pushed by hyperpolymath
14m 31s main
main
14m 31s
fix(clade): correct identity uuid (deterministic v5) Static Analysis Gate #173: Pull request #79 opened by hyperpolymath
8m 1s fix/clade-uuid
fix/clade-uuid
8m 1s
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) … Static Analysis Gate #172: Commit 356017a pushed by hyperpolymath
1m 20s main
main
1m 20s
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) Static Analysis Gate #171: Pull request #78 synchronize by hyperpolymath
51s claude/new-session-znxgm7
claude/new-session-znxgm7
51s
ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) Static Analysis Gate #170: Pull request #78 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Static Analysis Gate #169: Commit 2ae2976 pushed by hyperpolymath
47s main
main
47s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #168: Pull request #77 synchronize by hyperpolymath
50s claude/new-session-znxgm7
claude/new-session-znxgm7
50s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate Static Analysis Gate #167: Pull request #77 opened by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 5: end-to-end soundness capstone certificate (#76) Static Analysis Gate #166: Commit e369b3c pushed by hyperpolymath
44s main
main
44s
ABI Layer 5: end-to-end soundness capstone certificate Static Analysis Gate #165: Pull request #76 synchronize by hyperpolymath
47s claude/new-session-znxgm7
claude/new-session-znxgm7
47s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Static Analysis Gate #164: Commit 2e9d19f pushed by hyperpolymath
43s main
main
43s
ABI Layer 4: prove the FFI result-code seam is injective + faithful Static Analysis Gate #163: Pull request #75 synchronize by hyperpolymath
48s claude/new-session-znxgm7
claude/new-session-znxgm7
48s
ABI Layer 3: generation soundness (genScaffold always Conformant) + u… Static Analysis Gate #162: Commit 10b0a71 pushed by hyperpolymath
3m 25s main
main
3m 25s
ABI Layer 3: generation soundness (genScaffold always Conformant) + upward-closure Static Analysis Gate #161: Pull request #74 synchronize by hyperpolymath
1m 18s claude/new-session-znxgm7
claude/new-session-znxgm7
1m 18s
feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73) Static Analysis Gate #160: Commit 9d5e5d8 pushed by hyperpolymath
3m 4s main
main
3m 4s
ABI Layer 2: prove scaffold conformance property — flagship Idris2 proof Static Analysis Gate #159: Pull request #73 opened by hyperpolymath
49s claude/new-session-znxgm7
claude/new-session-znxgm7
49s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#72) Static Analysis Gate #158: Commit 024dbbd pushed by hyperpolymath
3h 11m 54s main
main
3h 11m 54s