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): stub-sentinel detection step in tier3-container matrix (#157) Security Scan #511: Commit e86d156 pushed by hyperpolymath
6s main
main
6s
chore(wave3): bump Poly/ML 5.9.1→5.9.2, OR-Tools 9.12→9.15, ACL2 8.6→… Security Scan #510: Commit fa55844 pushed by hyperpolymath
5s main
main
5s
feat(deno): migrate echidna-playground npm -> Deno (standards#253) (#… Security Scan #509: Commit 207a602 pushed by hyperpolymath
4s main
main
4s
feat(chapel): L2.3 cancel-token preemption (#154) Security Scan #508: Commit 870a2ec pushed by hyperpolymath
53m 50s main
main
53m 50s
feat(abi): EchidnaABI.TacticRecord — fixed-point confidence + total-o… Security Scan #507: Commit cfa1e7f pushed by hyperpolymath
7s main
main
7s
docs(chapel): PIC-from-source rebuild ADR + Justfile recipe (#150) Security Scan #506: Commit cd1a713 pushed by hyperpolymath
9s main
main
9s
fix(cflite): correct fuzz binary path — fuzz/ is workspace-excluded (… Security Scan #505: Commit 12108ac pushed by hyperpolymath
2h 52m 18s main
main
2h 52m 18s
perf(chapel): wave-1 speedup baseline — bench_mrr + 3 fixtures (#148) Security Scan #504: Commit c880bd6 pushed by hyperpolymath
25s main
main
25s
ci(chapel): mark rust-chapel-feature continue-on-error to match upstr… Security Scan #503: Commit 8e43905 pushed by hyperpolymath
31m 26s main
main
31m 26s
fix(security): bound 8 unbounded file reads — panic-attack Critical f… Security Scan #502: Commit e9742bd pushed by hyperpolymath
1m 44s main
main
1m 44s
feat(chapel): L2 parallel proof search — rehabilitation (closes #133)… Security Scan #501: Commit ba065e2 pushed by hyperpolymath
8s main
main
8s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#140) Security Scan #500: Commit 4e498b8 pushed by hyperpolymath
58m 40s main
main
58m 40s
ci(scorecard-enforcer): split score-threshold from publish job (OSSF … Security Scan #499: Commit 6ff5711 pushed by hyperpolymath
37m 44s main
main
37m 44s
ci(mvp-smoke): install just before invoking the mvp-env recipe (#… Security Scan #498: Commit c84040f pushed by hyperpolymath
29m 37s main
main
29m 37s
feat(provers): close GNN-ranking arc — Tier-3/niche sweep (53) + doc … Security Scan #497: Commit 5ddb6c1 pushed by hyperpolymath
8m 59s main
main
8m 59s
feat(provers): finish T1 GNN coverage + sweep T2 (35 backends) (#136) Security Scan #496: Commit 34c09a4 pushed by hyperpolymath
2m 38s main
main
2m 38s
ci(scorecard): add job-level permissions for reusable workflow (#132) Security Scan #495: Commit ade479f pushed by hyperpolymath
52m 37s main
main
52m 37s
feat(provers): extend GNN-ranking from 5 to 10 Tier-1 backends (#135) Security Scan #494: Commit 2edf1a8 pushed by hyperpolymath
8m 35s main
main
8m 35s
ci(chapel): unblock Compile Chapel Metalayer + Build & Test Zig FFI B… Security Scan #493: Commit f8511a4 pushed by hyperpolymath
5m 45s main
main
5m 45s
docs(roadmap): truthfulness audit — sync §2/§3/§4 to actual state (#129) Security Scan #492: Commit f8c6955 pushed by hyperpolymath
2m 54s main
main
2m 54s
chore: unblock CI — revert 5 dependabot major bumps + .trusted-base-i… Security Scan #491: Commit 4920e04 pushed by hyperpolymath
5m 35s main
main
5m 35s
ci(chapel): mark chapel-build + zig-ffi non-blocking until #133 fix l… Security Scan #490: Commit e1c025f pushed by hyperpolymath
1m 31s main
main
1m 31s
chore(deps): bump criterion from 0.5.1 to 0.8.2 (#122) Security Scan #489: Commit fd09dcb pushed by hyperpolymath
4m 4s main
main
4m 4s
chore(deps): bump rustyline from 15.0.0 to 18.0.0 (#124) Security Scan #488: Commit 7c48246 pushed by hyperpolymath
1m 8s main
main
1m 8s
chore(deps): bump nom from 7.1.3 to 8.0.0 (#123) Security Scan #487: Commit bcb4d45 pushed by hyperpolymath
48s main
main
48s