Skip to content

Actions: hyperpolymath/futharkiser

Actions

Static Analysis Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static-analysis-gate.yml
128 workflow runs
128 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
chore: M5 CI/Workflow Sweep - final synchronisation Static Analysis Gate #28: Commit c19dc4d pushed by hyperpolymath
1h 29m 0s main
main
1h 29m 0s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Static Analysis Gate #27: Commit 4c5e2a0 pushed by hyperpolymath
39m 33s main
main
39m 33s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Static Analysis Gate #26: Commit d5e1a04 pushed by hyperpolymath
1h 59m 35s main
main
1h 59m 35s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Static Analysis Gate #25: Commit f32c9aa pushed by hyperpolymath
2h 20m 35s main
main
2h 20m 35s
feat(crg): add crg-grade and crg-badge justfile recipes Static Analysis Gate #24: Commit 7f875de pushed by hyperpolymath
6h 52m 10s main
main
6h 52m 10s
chore: add eclexiaiser-validate job to dogfood gate Static Analysis Gate #23: Commit 342f126 pushed by hyperpolymath
8h 5m 7s main
main
8h 5m 7s
chore: add eclexiaiser.toml energy-cost manifest Static Analysis Gate #22: Commit faa98c1 pushed by hyperpolymath
9h 14m 13s main
main
9h 14m 13s
docs: add TOPOLOGY.md Static Analysis Gate #21: Commit 6555723 pushed by hyperpolymath
7h 15m 8s main
main
7h 15m 8s
chore: add k9iser.toml (Batch 2B) Static Analysis Gate #20: Commit fe25ef4 pushed by hyperpolymath
6h 23m 27s main
main
6h 23m 27s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Static Analysis Gate #19: Commit 5df0631 pushed by hyperpolymath
3h 12m 4s main
main
3h 12m 4s
docs: add TEST-NEEDS.md (CRG C) Static Analysis Gate #18: Commit e92f8e8 pushed by hyperpolymath
58m 47s main
main
58m 47s
fix(rhodibot): automated RSR compliance fixes Static Analysis Gate #17: Pull request #1 opened by hyperpolymath
13s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
13s
Add casket pages workflow Static Analysis Gate #16: Commit afdf5ee pushed by hyperpolymath
1h 24m 7s main
main
1h 24m 7s
feat: add stapeln.toml layer-based container definition\n\nConverted … Static Analysis Gate #15: Commit a1d8480 pushed by hyperpolymath
2h 52m 15s main
main
2h 52m 15s
chore: add UX infrastructure (quickstart, doctor, setup) Static Analysis Gate #14: Commit 3a9ec85 pushed by hyperpolymath
2h 29m 43s main
main
2h 29m 43s
chore: add Stapeln selur-compose.toml service definition Static Analysis Gate #13: Commit 0688b25 pushed by hyperpolymath
2h 9m 51s main
main
2h 9m 51s
chore: add agent_instructions methodology layer Static Analysis Gate #12: Commit d0dbed6 pushed by hyperpolymath
2h 5m 53s main
main
2h 5m 53s
chore: fix, Rust, lint/fmt, issues Static Analysis Gate #11: Commit 11b435a pushed by hyperpolymath
41m 34s main
main
41m 34s
docs: add EXPLAINME.adoc — prove-it file backing README claims Static Analysis Gate #10: Commit 0a27b8d pushed by hyperpolymath
1h 1m 12s main
main
1h 1m 12s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Static Analysis Gate #9: Commit 3a35663 pushed by hyperpolymath
23m 40s main
main
23m 40s
fix: rename .github/README.adoc to DIRECTORY.adoc Static Analysis Gate #8: Commit 52023cb pushed by hyperpolymath
6m 47s main
main
6m 47s
fix: use license-file for crates.io compatibility Static Analysis Gate #7: Commit 2e4b9f5 pushed by hyperpolymath
14s main
main
14s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile Static Analysis Gate #6: Commit 97abfc7 pushed by hyperpolymath
1m 27s main
main
1m 27s
feat: futharkiser Phase 1 — kernel parser, Futhark codegen, GPU backe… Static Analysis Gate #5: Commit 64ffce2 pushed by hyperpolymath
15s main
main
15s
Bespoke documentation: Futhark GPU compilation pipeline, Idris2 ABI t… Static Analysis Gate #4: Commit 67eda0e pushed by hyperpolymath
21s main
main
21s