Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
654 workflow runs
654 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(proofs): repair Isabelle/Mizar self-proof corpora for the weekly … Security Scan #604: Commit c7a12bf pushed by hyperpolymath
3m 52s main
main
3m 52s
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpor… Security Scan #603: Commit 0b5725d pushed by hyperpolymath
2m 58s main
main
2m 58s
ci(proofs): gate the Idris2 verification corpus (verification/proofs/… Security Scan #602: Commit 9969ff0 pushed by hyperpolymath
3m 16s main
main
3m 16s
ci(proofs): gate the Lean 4 verification corpus (verification/proofs/… Security Scan #601: Commit 969b73e pushed by hyperpolymath
3m 10s main
main
3m 10s
proofs(agda): reach literal zero axioms (discharge funext + Conflicts… Security Scan #600: Commit ed5602b pushed by hyperpolymath
3m 16s main
main
3m 16s
Security Scan Security Scan #599: Scheduled
3m 7s main
main
3m 7s
fix(build): de-duplicate Cargo.lock capnp (closes #272) + refresh gui… Security Scan #598: Commit 402d303 pushed by hyperpolymath
3m 5s main
main
3m 5s
chore: add RSR git hooks + AFFIRMATION.adoc + 2026-06-15 handoff/stat… Security Scan #597: Commit e2252af pushed by hyperpolymath
3m 24s main
main
3m 24s
chore(deps): bump capnpc from 0.25.3 to 0.26.0 (#267) Security Scan #596: Commit 7c3495a pushed by hyperpolymath
4m 56s main
main
4m 56s
chore(deps): bump the actions group with 3 updates (#270) Security Scan #595: Commit 13c3424 pushed by hyperpolymath
1m 0s main
main
1m 0s
chore(deps): bump capnp from 0.25.5 to 0.26.0 (#269) Security Scan #594: Commit 8c84637 pushed by hyperpolymath
17s main
main
17s
chore(deps): bump tower-http from 0.6.11 to 0.7.0 (#268) Security Scan #593: Commit 299c1a9 pushed by hyperpolymath
3m 11s main
main
3m 11s
Security Scan Security Scan #592: Scheduled
3m 27s main
main
3m 27s
ci(s4): weekly S4 loop-closure CI workflow (#264) Security Scan #591: Commit 998aea9 pushed by hyperpolymath
6m 19s main
main
6m 19s
feat(deploy): public Fly.io instance + ghcr one-liner (#265) Security Scan #590: Commit 8a00721 pushed by hyperpolymath
19s main
main
19s
fix: server boot-gate CI + QUICKSTART refutation demo + SPDX headers … Security Scan #589: Commit 20941b7 pushed by hyperpolymath
14s main
main
14s
feat(verisim): wire VeriSimDB writer into HTTP prove path (#263) Security Scan #588: Commit 6e13847 pushed by hyperpolymath
18s main
main
18s
feat(deploy): public Fly.io instance + ghcr one-liner (Task 6) (#261) Security Scan #587: Commit 31c0d7b pushed by hyperpolymath
5m 12s main
main
5m 12s
ci(server): server boot gate — convert 'compiles' into 'boots' (#258) Security Scan #586: Commit 6feec89 pushed by hyperpolymath
3m 6s main
main
3m 6s
ci(s4): file S4 loop-closure weekly CI workflow (#259) Security Scan #585: Commit 147d6b4 pushed by hyperpolymath
16s main
main
16s
ci: retire per-repo add-to-roadmap (superseded by central sweeper) (#… Security Scan #584: Commit 2de4d0f pushed by hyperpolymath
3m 9s main
main
3m 9s
ci: fix Idris2/Agda required-check deadlock (pass-through shim) (#256) Security Scan #583: Commit 81f89b3 pushed by hyperpolymath
3m 10s main
main
3m 10s
chore(deps): bump the actions group across 1 directory with 3 updates Security Scan #582: Commit e779bb0 pushed by hyperpolymath
3m 13s main
main
3m 13s
ci: SHA-pin actions/add-to-project (repo enforces sha_pinning) Security Scan #581: Commit cb5e41a pushed by hyperpolymath
3m 3s main
main
3m 3s
ci: auto-add new issues/PRs to master roadmap #35 (pilot) Security Scan #580: Commit 6eb8e99 pushed by hyperpolymath
3m 19s main
main
3m 19s