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
ci: refresh standards reusable pins to current HEAD (d7c2271) Static Analysis Gate #157: Pull request #72 opened by hyperpolymath
3h 14m 30s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
3h 14m 30s
ci: add ABI↔FFI conformance gate (#71) Static Analysis Gate #156: Commit a7ccd57 pushed by hyperpolymath
47s main
main
47s
ci: add ABI↔FFI conformance gate Static Analysis Gate #155: Pull request #71 opened by hyperpolymath
1m 31s claude/new-session-1fphit
claude/new-session-1fphit
1m 31s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer (… Static Analysis Gate #154: Commit 13208cd pushed by hyperpolymath
1m 28s main
main
1m 28s
iseriser: auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #153: Pull request #70 opened by hyperpolymath
57s claude/new-session-1fphit
claude/new-session-1fphit
57s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) (#69) Static Analysis Gate #152: Commit 1b23126 pushed by hyperpolymath
49s main
main
49s
iseriser: codegen emits verified, compiling Idris2 ABI (P2) Static Analysis Gate #151: Pull request #69 opened by hyperpolymath
44s claude/new-session-1fphit
claude/new-session-1fphit
44s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)… Static Analysis Gate #150: Commit 5f6dc0d pushed by hyperpolymath
45s main
main
45s
iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #149: Pull request #68 opened by hyperpolymath
42s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
42s
iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67) Static Analysis Gate #148: Commit 6f102af pushed by hyperpolymath
49s main
main
49s
iseriser: make Phase 0 ABI proofs genuinely compile and verify Static Analysis Gate #147: Pull request #67 synchronize by hyperpolymath
46s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
46s
iseriser: make Phase 0 ABI proofs genuinely compile and verify Static Analysis Gate #146: Pull request #67 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
docs(readme): convert README.adoc -> Markdown README.md (#66) Static Analysis Gate #145: Commit c0eb925 pushed by hyperpolymath
1h 14m 57s main
main
1h 14m 57s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #144: Pull request #66 opened by hyperpolymath
1h 14m 46s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 14m 46s
chore(clade): backfill [status] lifecycle block (default active) (#64) Static Analysis Gate #143: Commit 3f5a7e5 pushed by hyperpolymath
1d 1h 2m 36s main
main
1d 1h 2m 36s
chore(ci): add dormant push-email notification workflow (#65) Static Analysis Gate #142: Commit a484e7f pushed by hyperpolymath
1d 1h 10m 37s main
main
1d 1h 10m 37s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #141: Pull request #65 opened by hyperpolymath
1d 0h 53m 57s chore/push-email-notify
chore/push-email-notify
1d 0h 53m 57s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #140: Pull request #64 opened by hyperpolymath
1d 0h 54m 14s chore/clade-status-backfill
chore/clade-status-backfill
1d 0h 54m 14s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#63) Static Analysis Gate #139: Commit 8d9911e pushed by hyperpolymath
1d 1h 6m 45s main
main
1d 1h 6m 45s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #138: Pull request #63 opened by hyperpolymath
1d 1h 13m 12s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 13m 12s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#62) Static Analysis Gate #137: Commit 3438a24 pushed by hyperpolymath
1d 1h 41m 21s main
main
1d 1h 41m 21s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #136: Pull request #62 opened by hyperpolymath
1d 1h 38m 45s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
1d 1h 38m 45s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#61) Static Analysis Gate #135: Commit 79155ba pushed by hyperpolymath
1h 41m 24s main
main
1h 41m 24s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #134: Pull request #61 opened by hyperpolymath
1h 41m 46s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 41m 46s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #133: Commit 08363bd pushed by hyperpolymath
1h 34m 2s main
main
1h 34m 2s