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
Auto-install pinned Zig toolchain in setup + devcontainer (#33) Static Analysis Gate #99: Commit 52f5330 pushed by hyperpolymath
9m 13s main
main
9m 13s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #98: Pull request #33 opened by hyperpolymath
10m 1s claude/new-session-1fphit
claude/new-session-1fphit
10m 1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #97: Commit be1d62d pushed by hyperpolymath
3m 38s main
main
3m 38s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #96: Pull request #32 opened by hyperpolymath
46s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
46s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) Static Analysis Gate #95: Commit 6908e75 pushed by hyperpolymath
3m 38s main
main
3m 38s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #94: Pull request #31 opened by hyperpolymath
2m 44s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 44s
chore(clade): backfill [status] lifecycle block (default active) (#29) Static Analysis Gate #93: Commit a2c9325 pushed by hyperpolymath
1d 0h 14m 4s main
main
1d 0h 14m 4s
chore(ci): add dormant push-email notification workflow (#30) Static Analysis Gate #92: Commit 5d3c2ec pushed by hyperpolymath
1d 0h 15m 26s main
main
1d 0h 15m 26s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #91: Pull request #30 opened by hyperpolymath
1d 0h 17m 30s chore/push-email-notify
chore/push-email-notify
1d 0h 17m 30s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #90: Pull request #29 opened by hyperpolymath
1d 0h 27m 36s chore/clade-status-backfill
chore/clade-status-backfill
1d 0h 27m 36s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28) Static Analysis Gate #89: Commit 477779f pushed by hyperpolymath
1d 0h 56m 45s main
main
1d 0h 56m 45s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #88: Pull request #28 opened by hyperpolymath
1d 0h 57m 39s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 0h 57m 39s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#27) Static Analysis Gate #87: Commit 8c558e7 pushed by hyperpolymath
1d 1h 18m 36s main
main
1d 1h 18m 36s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #86: Pull request #27 opened by hyperpolymath
1d 1h 25m 44s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
1d 1h 25m 44s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#26) Static Analysis Gate #85: Commit 5718069 pushed by hyperpolymath
1h 41m 36s main
main
1h 41m 36s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #84: Pull request #26 opened by hyperpolymath
1h 41m 37s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 41m 37s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #83: Commit d6bc8a7 pushed by hyperpolymath
1h 32m 41s main
main
1h 32m 41s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Static Analysis Gate #82: Commit 0a34a0d pushed by hyperpolymath
44m 23s main
main
44m 23s
ci: cut Actions burn in .github/workflows/k9-svc-validation.yml (scop… Static Analysis Gate #81: Commit 82b6d7a pushed by hyperpolymath
1m 19s main
main
1m 19s
ci: cut Actions burn — scope push triggers + concurrency-cancel Static Analysis Gate #80: Pull request #25 opened by hyperpolymath
1m 6s ci/ci-health-auto-remediation
ci/ci-health-auto-remediation
1m 6s
Base camp: RSR Mustfile + green CI (#24) Static Analysis Gate #79: Commit 30b7184 pushed by hyperpolymath
4m 39s main
main
4m 39s
Base camp: RSR Mustfile + green CI Static Analysis Gate #78: Pull request #24 opened by hyperpolymath
4m 24s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
4m 24s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) Static Analysis Gate #77: Commit 72cd992 pushed by hyperpolymath
19h 30m 59s main
main
19h 30m 59s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) Static Analysis Gate #76: Pull request #23 opened by hyperpolymath
19h 11m 33s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
19h 11m 33s
chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 (#22) Static Analysis Gate #75: Commit b0aba23 pushed by hyperpolymath
19h 33m 55s main
main
19h 33m 55s