Skip to content

Actions: hyperpolymath/a2mliser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
125 workflow runs
125 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: add ABI↔FFI conformance gate (#35) Static Analysis Gate #100: Commit de24586 pushed by hyperpolymath
1m 15s main
main
1m 15s
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 4160608 pushed by hyperpolymath
5m 13s main
main
5m 13s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #97: Pull request #34 opened by hyperpolymath
49s claude/new-session-1fphit
claude/new-session-1fphit
49s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #96: Commit 543f386 pushed by hyperpolymath
3m 1s main
main
3m 1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #95: Pull request #33 synchronize by hyperpolymath
2m 38s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
2m 38s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #94: Pull request #33 opened by hyperpolymath
1m 0s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 0s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) Static Analysis Gate #93: Commit d4725c7 pushed by hyperpolymath
3m 58s main
main
3m 58s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #92: Pull request #32 opened by hyperpolymath
4m 28s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
4m 28s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Static Analysis Gate #91: Commit 5ef92e9 pushed by hyperpolymath
1h 10m 16s main
main
1h 10m 16s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #90: Pull request #31 opened by hyperpolymath
1h 5m 38s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 5m 38s
chore(licence): remove residual Palimpsest/PMPL contradiction text (#30) Static Analysis Gate #89: Commit 9db21b2 pushed by hyperpolymath
1h 2m 18s main
main
1h 2m 18s
chore(licence): remove residual Palimpsest/PMPL contradiction text Static Analysis Gate #88: Pull request #30 opened by hyperpolymath
9h 19m 8s chore/licence-contradiction-text-2026-06-25
chore/licence-contradiction-text-2026-06-25
9h 19m 8s
chore(ci): add dormant push-email notification workflow (#29) Static Analysis Gate #87: Commit 7b73e1e pushed by hyperpolymath
1d 0h 16m 2s main
main
1d 0h 16m 2s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #86: Pull request #29 synchronize by hyperpolymath
1d 0h 16m 22s chore/push-email-notify
chore/push-email-notify
1d 0h 16m 22s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #85: Pull request #29 opened by hyperpolymath
1d 0h 19m 42s chore/push-email-notify
chore/push-email-notify
1d 0h 19m 42s
chore(clade): backfill [status] lifecycle block (#28) Static Analysis Gate #84: Commit cac8c0e pushed by hyperpolymath
1d 1h 29m 27s main
main
1d 1h 29m 27s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #83: Pull request #28 opened by hyperpolymath
1d 1h 0m 33s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 0m 33s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #82: Commit 2e10384 pushed by hyperpolymath
1d 1h 43m 19s main
main
1d 1h 43m 19s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #81: Pull request #27 opened by hyperpolymath
1d 1h 49m 1s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 49m 1s
chore(ci): bump standards reusable workflow pins (#26) Static Analysis Gate #80: Commit 3b91de1 pushed by hyperpolymath
32m 17s main
main
32m 17s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #79: Pull request #26 opened by hyperpolymath
22m 37s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
22m 37s
chore(nix->guix): remove flake.nix (Guix-only) (#25) Static Analysis Gate #78: Commit 3b1a630 pushed by hyperpolymath
1h 41m 3s main
main
1h 41m 3s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #77: Pull request #25 opened by hyperpolymath
1h 42m 4s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 42m 4s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #76: Commit 0638ddd pushed by hyperpolymath
42s main
main
42s