Skip to content

Actions: hyperpolymath/formatrix-docs

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
148 workflow runs
148 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
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support Hypatia Security Scan #73: Pull request #5 opened by hyperpolymath
46m 13s fix/ci-rsr-and-setup-beam-2026-05-14
fix/ci-rsr-and-setup-beam-2026-05-14
46m 13s
ci: bump actions/upload-artifact SHA to current v4 (#4) Hypatia Security Scan #72: Commit b3fff06 pushed by hyperpolymath
11h 29m 37s main
main
11h 29m 37s
ci: bump actions/upload-artifact SHA to current v4 Hypatia Security Scan #71: Pull request #4 opened by hyperpolymath
11h 28m 9s ci/bump-upload-artifact-v4-sha-final
ci/bump-upload-artifact-v4-sha-final
11h 28m 9s
ci: SHA-pin hyperpolymath validate-actions in dogfood-gate Hypatia Security Scan #70: Commit f586a73 pushed by hyperpolymath
2h 8m 50s main
main
2h 8m 50s
Hypatia Security Scan Hypatia Security Scan #69: Scheduled
10s main
main
10s
Hypatia Security Scan Hypatia Security Scan #68: Scheduled
7s main
main
7s
Hypatia Security Scan Hypatia Security Scan #67: Scheduled
6s main
main
6s
Hypatia Security Scan Hypatia Security Scan #66: Scheduled
6h 15m 19s main
main
6h 15m 19s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Hypatia Security Scan #65: Commit ab89483 pushed by hyperpolymath
41m 13s main
main
41m 13s
docs: add post-audit status report for M5 sweep Hypatia Security Scan #64: Commit bd053a3 pushed by hyperpolymath
26m 26s main
main
26m 26s
Hypatia Security Scan Hypatia Security Scan #63: Scheduled
8s main
main
8s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Hypatia Security Scan #62: Commit ebefb9f pushed by hyperpolymath
37m 30s main
main
37m 30s
Hypatia Security Scan Hypatia Security Scan #61: Scheduled
6s main
main
6s
feat(crg): add crg-grade and crg-badge justfile recipes Hypatia Security Scan #60: Commit e2748d4 pushed by hyperpolymath
5h 38m 47s main
main
5h 38m 47s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Hypatia Security Scan #59: Commit 0fe4376 pushed by hyperpolymath
1h 1m 38s main
main
1h 1m 38s
docs: add TEST-NEEDS.md (CRG C) Hypatia Security Scan #58: Commit 0fca25b pushed by hyperpolymath
27m 26s main
main
27m 26s
Remove template-only ABI files that falsely implied formal verification Hypatia Security Scan #57: Commit 4638a8c pushed by hyperpolymath
10m 47s main
main
10m 47s
chore: replace template placeholder in ROADMAP.adoc with project name Hypatia Security Scan #56: Commit 7699605 pushed by hyperpolymath
7m 51s main
main
7m 51s
feat: add Stapeln container configuration Hypatia Security Scan #55: Commit 93bf14d pushed by hyperpolymath
4m 41s main
main
4m 41s
Hypatia Security Scan Hypatia Security Scan #54: Scheduled
17s main
main
17s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Hypatia Security Scan #53: Commit 3877583 pushed by hyperpolymath
17m 15s main
main
17m 15s
feat: add UX Justfile with doctor, tour, help-me, assail recipes Hypatia Security Scan #52: Commit f2a4919 pushed by hyperpolymath
5m 44s main
main
5m 44s
chore: add gitignore, gitattributes, tool-versions Hypatia Security Scan #51: Commit 4482c3a pushed by hyperpolymath
2h 1m 25s main
main
2h 1m 25s
feat: deploy UX Manifesto infrastructure Hypatia Security Scan #50: Commit 0baaa72 pushed by hyperpolymath
1h 40m 55s main
main
1h 40m 55s
chore: add UX infrastructure (quickstart, doctor, setup) Hypatia Security Scan #49: Commit 4f376ed pushed by hyperpolymath
43m 58s main
main
43m 58s