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
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #109: Pull request #41 opened by hyperpolymath
3h 13m 48s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 13m 48s
ci: add ABI↔FFI conformance gate (#40) Static Analysis Gate #108: Commit 453ac63 pushed by hyperpolymath
1m 30s main
main
1m 30s
ci: add ABI↔FFI conformance gate Static Analysis Gate #107: Pull request #40 opened by hyperpolymath
1m 7s claude/new-session-1fphit
claude/new-session-1fphit
1m 7s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) Static Analysis Gate #106: Commit 29850c3 pushed by hyperpolymath
8m 31s main
main
8m 31s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #105: Pull request #39 opened by hyperpolymath
2m 35s claude/new-session-1fphit
claude/new-session-1fphit
2m 35s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #104: Commit 1692561 pushed by hyperpolymath
2m 51s main
main
2m 51s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #103: Pull request #38 opened by hyperpolymath
58s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
58s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) Static Analysis Gate #102: Commit 7f1691c pushed by hyperpolymath
5m 7s main
main
5m 7s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #101: Pull request #37 opened by hyperpolymath
3m 11s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
3m 11s
docs(readme): convert README.adoc -> Markdown README.md (#36) Static Analysis Gate #100: Commit f4a97b4 pushed by hyperpolymath
1h 17m 12s main
main
1h 17m 12s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #99: Pull request #36 opened by hyperpolymath
1h 18m 9s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 18m 9s
chore(clade): backfill [status] lifecycle block (default active) (#34) Static Analysis Gate #98: Commit f5c9f31 pushed by hyperpolymath
1d 1h 6m 3s main
main
1d 1h 6m 3s
chore(ci): add dormant push-email notification workflow (#35) Static Analysis Gate #97: Commit af415d6 pushed by hyperpolymath
1d 1h 12m 8s main
main
1d 1h 12m 8s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #96: Pull request #35 opened by hyperpolymath
1d 0h 54m 39s chore/push-email-notify
chore/push-email-notify
1d 0h 54m 39s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #95: Pull request #34 opened by hyperpolymath
1d 0h 56m 35s chore/clade-status-backfill
chore/clade-status-backfill
1d 0h 56m 35s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) Static Analysis Gate #94: Commit a22aeef pushed by hyperpolymath
1d 1h 8m 37s main
main
1d 1h 8m 37s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #93: Pull request #33 opened by hyperpolymath
1d 1h 6m 16s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 6m 16s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#32) Static Analysis Gate #92: Commit 951e212 pushed by hyperpolymath
20h 2m 23s main
main
20h 2m 23s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #91: Pull request #32 opened by hyperpolymath
19h 36m 7s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
19h 36m 7s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#31) Static Analysis Gate #90: Commit 1669ba3 pushed by hyperpolymath
1h 43m 19s main
main
1h 43m 19s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #89: Pull request #31 opened by hyperpolymath
1h 40m 38s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 40m 38s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #88: Commit 5354cfc pushed by hyperpolymath
1h 32m 35s main
main
1h 32m 35s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Static Analysis Gate #87: Commit 6e67e8c pushed by hyperpolymath
44m 6s main
main
44m 6s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#30) Static Analysis Gate #86: Commit 1f681bd pushed by hyperpolymath
4m 3s main
main
4m 3s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup Static Analysis Gate #85: Pull request #30 opened by hyperpolymath
5m 3s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
5m 3s