Skip to content

Actions: hyperpolymath/a2ml-haskell

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
40 workflow runs
40 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
Hypatia Security Scan Hypatia Security Scan #40: Scheduled
7s main
main
7s
Hypatia Security Scan Hypatia Security Scan #39: Scheduled
3h 55m 1s main
main
3h 55m 1s
fix(rhodibot): automated RSR compliance fixes (#4) Hypatia Security Scan #38: Commit 78e3de0 pushed by hyperpolymath
6s main
main
6s
fix(rhodibot): automated RSR compliance fixes Hypatia Security Scan #37: Pull request #4 opened by hyperpolymath
7s rhodibot/rsr-compliance-20260413
rhodibot/rsr-compliance-20260413
7s
fix(rhodibot): automated RSR compliance fixes (#3) Hypatia Security Scan #36: Commit dc53a62 pushed by hyperpolymath
10s main
main
10s
fix(rhodibot): automated RSR compliance fixes Hypatia Security Scan #35: Pull request #3 opened by hyperpolymath
1m 13s rhodibot/rsr-compliance-20260406
rhodibot/rsr-compliance-20260406
1m 13s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Hypatia Security Scan #34: Commit 75899c4 pushed by hyperpolymath
1h 43m 18s main
main
1h 43m 18s
chore: automated sync of local changes Hypatia Security Scan #33: Commit 7848a0d pushed by hyperpolymath
10m 54s main
main
10m 54s
Hypatia Security Scan Hypatia Security Scan #32: Scheduled
16s main
main
16s
docs: replace template README with a2ml-haskell project content Hypatia Security Scan #31: Commit 9e98721 pushed by hyperpolymath
6s main
main
6s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Hypatia Security Scan #30: Commit 4a5f84c pushed by hyperpolymath
1h 33m 37s main
main
1h 33m 37s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Hypatia Security Scan #29: Commit e78c830 pushed by hyperpolymath
2m 33s main
main
2m 33s
chore: automated sync of local changes Hypatia Security Scan #28: Commit d698d3a pushed by hyperpolymath
9s main
main
9s
Hypatia Security Scan Hypatia Security Scan #27: Scheduled
16m 11s main
main
16m 11s
feat(crg): add crg-grade and crg-badge justfile recipes Hypatia Security Scan #26: Commit a3de620 pushed by hyperpolymath
5h 8m 7s main
main
5h 8m 7s
chore: add eclexiaiser-validate job to dogfood gate Hypatia Security Scan #25: Commit 12324d6 pushed by hyperpolymath
4h 6m 4s main
main
4h 6m 4s
chore: add eclexiaiser.toml energy-cost manifest Hypatia Security Scan #24: Commit 9b83ed1 pushed by hyperpolymath
2h 18m 7s main
main
2h 18m 7s
docs: add TOPOLOGY.md Hypatia Security Scan #23: Commit 065f17c pushed by hyperpolymath
2h 16m 59s main
main
2h 16m 59s
chore: add k9iser.toml (Batch 2C) Hypatia Security Scan #22: Commit ddd9c52 pushed by hyperpolymath
2h 35m 24s main
main
2h 35m 24s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Hypatia Security Scan #21: Commit 480c0e7 pushed by hyperpolymath
1h 38m 1s main
main
1h 38m 1s
docs: substantive CRG C annotation (EXPLAINME.adoc) Hypatia Security Scan #20: Commit 29f78f1 pushed by hyperpolymath
8m 14s main
main
8m 14s
fix(rhodibot): automated RSR compliance fixes Hypatia Security Scan #19: Pull request #2 opened by hyperpolymath
7s rhodibot/rsr-compliance-20260330
rhodibot/rsr-compliance-20260330
7s
Add casket pages workflow Hypatia Security Scan #18: Commit 8cd391a pushed by hyperpolymath
11m 10s main
main
11m 10s
Remove template-only ABI files that falsely implied formal verification Hypatia Security Scan #17: Commit 5f37f85 pushed by hyperpolymath
6s main
main
6s
chore: replace template placeholder in ROADMAP.adoc with project name Hypatia Security Scan #16: Commit 1157f97 pushed by hyperpolymath
54s main
main
54s