Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
661 workflow runs
661 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(wave3): clear wave3 branch CI/CD fixes (C001-C005) (#206) Security Scan #536: Commit 2f7faed pushed by hyperpolymath
3m 4s main
main
3m 4s
feat(saturation+typing): corpus 4→17, vocab 5→14+4, arbiters 1→4, exc… Security Scan #535: Commit cced305 pushed by hyperpolymath
2h 6m 10s main
main
2h 6m 10s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … Security Scan #534: Commit 6fb5bd3 pushed by hyperpolymath
28m 5s main
main
28m 5s
feat(api/graphql): add verifyProof + suggestTactics(prover/context/go… Security Scan #533: Commit 08771e6 pushed by hyperpolymath
19m 25s main
main
19m 25s
docs(audits): FFI boundary §§9-11 (FLINT + Zig bridges + Zig overlay)… Security Scan #532: Commit e045c20 pushed by hyperpolymath
6s main
main
6s
chore: purge nix per estate-wide deprecation directive 2026-06-01 (#189) Security Scan #531: Commit 872041c pushed by hyperpolymath
10s main
main
10s
release(v2.3.0): reconcile Cargo.toml + CHANGELOG (closes #173) (#184) Security Scan #530: Commit 68ef34a pushed by hyperpolymath
42s main
main
42s
fix(security): bound load_octads_jsonl read — panic-attack Critical r… Security Scan #529: Commit e3bbf42 pushed by hyperpolymath
1m 27s main
main
1m 27s
docs(proofs): echo-types audit per estate standing directive (#178) Security Scan #528: Commit 408b7aa pushed by hyperpolymath
8s main
main
8s
chore(seams): bump 6 stale standards pins + fix proven manifest drift… Security Scan #527: Commit 4df666b pushed by hyperpolymath
4s main
main
4s
docs: meticulous doc maxout (human + machine) — 2026-06-01 (#182) Security Scan #526: Commit ca10e77 pushed by hyperpolymath
2s main
main
2s
fix(scripts): use mktemp for temp paths (closes 3 panic-attack path-t… Security Scan #525: Commit ee5f6e2 pushed by hyperpolymath
8s main
main
8s
ci(governance): migrate R5a to .github/canonical-references/ — drop l… Security Scan #524: Commit 88cd8dc pushed by hyperpolymath
3m 26s main
main
3m 26s
ci(governance): bump standards SHA to consume R5b, drop local R5b hal… Security Scan #523: Commit 75041fd pushed by hyperpolymath
3m 29s main
main
3m 29s
ci(governance): R5 — hard gate against doc canonical-reference drift … Security Scan #522: Commit d7ce814 pushed by hyperpolymath
2m 59s main
main
2m 59s
docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence (#170) Security Scan #521: Commit 92d06ce pushed by hyperpolymath
3m 1s main
main
3m 1s
docs: narrative coherence — README/EXPLAINME defer counts to canonica… Security Scan #520: Commit 6aff53b pushed by hyperpolymath
3m 13s main
main
3m 13s
feat(abi): close TacticRecord round-trip lemmas (closes #152) (#166) Security Scan #519: Commit a94ee81 pushed by hyperpolymath
1m 54s main
main
1m 54s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#… Security Scan #518: Commit 598487c pushed by hyperpolymath
4m 12s main
main
4m 12s
fix(ci): idris2-abi install via apt + tag-archive fallback — replaces… Security Scan #517: Commit e1edebe pushed by hyperpolymath
1m 22s main
main
1m 22s
fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on mai… Security Scan #516: Commit fff57dc pushed by hyperpolymath
3m 9s main
main
3m 9s
Add sponsor badge Security Scan #515: Commit 78a65dc pushed by hyperpolymath
38m 53s main
main
38m 53s
Security Scan Security Scan #514: Scheduled
8h 38m 17s main
main
8h 38m 17s
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, c… Security Scan #513: Commit a2aeb6a pushed by hyperpolymath
4h 37m 50s main
main
4h 37m 50s
ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent (#… Security Scan #512: Commit 20bb6ba pushed by hyperpolymath
6s main
main
6s