Skip to content

Actions: hyperpolymath/bqniser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
117 workflow runs
117 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 (#30) Static Analysis Gate #92: Commit d29c797 pushed by hyperpolymath
2m 14s main
main
2m 14s
Auto-install pinned Zig toolchain in setup + devcontainer Static Analysis Gate #91: Pull request #30 opened by hyperpolymath
1m 1s claude/new-session-1fphit
claude/new-session-1fphit
1m 1s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Static Analysis Gate #90: Commit 32bf567 pushed by hyperpolymath
1m 37s main
main
1m 37s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #89: Pull request #29 synchronize by hyperpolymath
48s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
48s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems Static Analysis Gate #88: Pull request #29 opened by hyperpolymath
1m 24s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
1m 24s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28) Static Analysis Gate #87: Commit 5b796ef pushed by hyperpolymath
4m 31s main
main
4m 31s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) Static Analysis Gate #86: Pull request #28 opened by hyperpolymath
3m 18s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
3m 18s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Static Analysis Gate #85: Commit fd37396 pushed by hyperpolymath
1h 26m 23s main
main
1h 26m 23s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) Static Analysis Gate #84: Pull request #27 opened by hyperpolymath
1h 25m 49s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
1h 25m 49s
chore(clade): backfill [status] lifecycle block (#25) Static Analysis Gate #83: Commit b9ab427 pushed by hyperpolymath
1d 1h 22m 8s main
main
1d 1h 22m 8s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #82: Pull request #25 synchronize by hyperpolymath
1d 1h 23m 58s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 23m 58s
chore(ci): add dormant push-email notification workflow (#26) Static Analysis Gate #81: Commit 8ed2e32 pushed by hyperpolymath
1d 1h 31m 22s main
main
1d 1h 31m 22s
chore(ci): add dormant push-email notification workflow Static Analysis Gate #80: Pull request #26 opened by hyperpolymath
1d 1h 17m 48s chore/push-email-notify
chore/push-email-notify
1d 1h 17m 48s
chore(clade): backfill [status] lifecycle block Static Analysis Gate #79: Pull request #25 opened by hyperpolymath
1d 1h 0m 35s chore/clade-status-backfill
chore/clade-status-backfill
1d 1h 0m 35s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Static Analysis Gate #78: Commit 331cb27 pushed by hyperpolymath
1d 1h 25m 53s main
main
1d 1h 25m 53s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) Static Analysis Gate #77: Pull request #24 opened by hyperpolymath
1d 1h 28m 32s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
1d 1h 28m 32s
chore(ci): bump standards reusable workflow pins (#23) Static Analysis Gate #76: Commit 889cc0f pushed by hyperpolymath
9h 35m 59s main
main
9h 35m 59s
chore(ci): bump standards reusable workflow pins Static Analysis Gate #75: Pull request #23 opened by hyperpolymath
9h 27m 31s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
9h 27m 31s
chore(nix->guix): remove flake.nix (Guix-only) (#22) Static Analysis Gate #74: Commit ec3ad16 pushed by hyperpolymath
1h 45m 26s main
main
1h 45m 26s
chore(nix->guix): remove flake.nix (Guix-only) Static Analysis Gate #73: Pull request #22 opened by hyperpolymath
1h 46m 50s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
1h 46m 50s
chore: retire local issue/discussion templates -> inherit org .github… Static Analysis Gate #72: Commit 3561828 pushed by hyperpolymath
1h 34m 20s main
main
1h 34m 20s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Static Analysis Gate #71: Commit 586ae50 pushed by hyperpolymath
46m 30s main
main
46m 30s
Base camp: RSR Mustfile + green CI + doc de-dup (#21) Static Analysis Gate #70: Commit ba7822d pushed by hyperpolymath
4m 0s main
main
4m 0s
Base camp: RSR Mustfile + green CI + doc de-dup Static Analysis Gate #69: Pull request #21 opened by hyperpolymath
5m 14s claude/sharp-cannon-038nwu
claude/sharp-cannon-038nwu
5m 14s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … Static Analysis Gate #68: Commit 4908863 pushed by hyperpolymath
54s main
main
54s