Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
126 workflow runs
126 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 #101: Pull request #36 opened by hyperpolymath
2m 11s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2m 11s
ci: add ABI↔FFI conformance gate (#35) Static Analysis Gate #100: Commit 6532bc9 pushed by hyperpolymath
1m 22s main
main
1m 22s
ci: add ABI↔FFI conformance gate Static Analysis Gate #99: Pull request #35 opened by hyperpolymath
45s claude/new-session-1fphit
claude/new-session-1fphit
45s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Static Analysis Gate #98: Commit 703fd16 pushed by hyperpolymath
2m 22s main
main
2m 22s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #97: Pull request #34 opened by hyperpolymath
42s claude/new-session-1fphit
claude/new-session-1fphit
42s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #96: Commit 412ae57 pushed by hyperpolymath
4m 31s main
main
4m 31s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #95: Pull request #33 synchronize by hyperpolymath
2m 30s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 30s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #94: Pull request #33 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) (#32) Static Analysis Gate #93: Commit 2a34624 pushed by hyperpolymath
4m 46s main
main
4m 46s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #92: Pull request #32 opened by hyperpolymath
5m 33s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
5m 33s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Static Analysis Gate #91: Commit d2d08ea pushed by hyperpolymath
1h 14m 9s main
main
1h 14m 9s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #90: Pull request #31 opened by hyperpolymath
1h 15m 51s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 15m 51s
chore(clade): backfill [status] lifecycle block (#29) Static Analysis Gate #89: Commit a6ffd68 pushed by hyperpolymath
1d 1h 24m 15s main
main
1d 1h 24m 15s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #88: Pull request #29 synchronize by hyperpolymath
1d 1h 23m 23s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 23m 23s
chore(ci): add dormant push-email notification workflow (#30) Static Analysis Gate #87: Commit a714845 pushed by hyperpolymath
1d 1h 27m 13s main
main
1d 1h 27m 13s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #86: Pull request #30 opened by hyperpolymath
1d 1h 19m 18s chore/push-email-notify
chore/push-email-notify
1d 1h 19m 18s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #85: Pull request #29 opened by hyperpolymath
1d 1h 2m 58s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 2m 58s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #84: Commit 24600a6 pushed by hyperpolymath
1d 1h 31m 14s main
main
1d 1h 31m 14s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #83: Pull request #28 opened by hyperpolymath
1d 1h 31m 24s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 31m 24s
chore(ci): bump standards reusable workflow pins (#27) Static Analysis Gate #82: Commit fdb01c1 pushed by hyperpolymath
8h 34m 18s main
main
8h 34m 18s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #81: Pull request #27 opened by hyperpolymath
8h 27m 58s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
8h 27m 58s
chore(nix->guix): remove flake.nix (Guix-only) (#26) Static Analysis Gate #80: Commit d12af52 pushed by hyperpolymath
1h 44m 37s main
main
1h 44m 37s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #79: Pull request #26 opened by hyperpolymath
1h 45m 17s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 45m 17s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #78: Commit 6b0b2ab pushed by hyperpolymath
1h 34m 54s main
main
1h 34m 54s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Static Analysis Gate #77: Commit 65a859b pushed by hyperpolymath
46m 19s main
main
46m 19s