Skip to content

Actions: hyperpolymath/echidna

Actions

Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
417 workflow runs
417 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(antipattern): fix top-level dir + benchmark/lsp filename matching … Security Scan #417: Commit 7e8edbe pushed by hyperpolymath
1h 26m 16s main
main
1h 26m 16s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#44) Security Scan #416: Commit 61b006d pushed by hyperpolymath
28m 35s main
main
28m 35s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… Security Scan #415: Commit 123ae11 pushed by hyperpolymath
1h 19m 54s main
main
1h 19m 54s
ci(antipattern): allowlist legit TS bridge/adapter paths (#42) Security Scan #414: Commit 84c9eb3 pushed by hyperpolymath
23m 17s main
main
23m 17s
Security Scan Security Scan #413: Scheduled
5m 32s main
main
5m 32s
chore(audit): clear lib+test warnings, fix prober dispatch bug, sync … Security Scan #412: Commit 41c6f00 pushed by hyperpolymath
4m 56s main
main
4m 56s
docs(state): record EOD landing of Phase13.agda + RankBrouwer.agda Security Scan #411: Commit a652da4 pushed by hyperpolymath
5m 56s main
main
5m 56s
docs: corpus subsystem guide + 2026-04-28 ADR + 6a2 sync + Justfile r… Security Scan #410: Commit 95d5399 pushed by hyperpolymath
5m 32s main
main
5m 32s
feat(corpus): multi-axis query DSL — N-dim plan capstone Security Scan #409: Commit 8265f9b pushed by hyperpolymath
5m 33s main
main
5m 33s
docs(readme): update prover count 48→128 and test count 613→917 Security Scan #408: Commit 8d0d9e7 pushed by hyperpolymath
1h 4m 48s main
main
1h 4m 48s
chore(state): record 2026-04-27 audit + cleanup session Security Scan #407: Commit 1ccee56 pushed by hyperpolymath
1h 5m 20s main
main
1h 5m 20s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Security Scan #406: Commit 52daa4a pushed by hyperpolymath
43m 29s main
main
43m 29s
feat(l3-wave3): complete Wave-3 Tier-3 container infrastructure (9 ba… Security Scan #405: Commit a87fae1 pushed by hyperpolymath
6m 38s main
main
6m 38s
feat(spark): Stage 8c-M3 — outer-loop invariant, CI hard gate Security Scan #404: Commit 45d1de0 pushed by hyperpolymath
5m 26s main
main
5m 26s
feat(spark): Stage 8c-M2 — live compute contract + pure dominates + i… Security Scan #403: Commit b9c06fd pushed by hyperpolymath
6m 26s main
main
6m 26s
feat(spark): Stage 8c — live Creusot contracts + weighted_rank + CI (… Security Scan #402: Commit 7c02c2e pushed by hyperpolymath
6m 1s main
main
6m 1s
feat(suggest): implement suggest_tactics for Abella, KeYmaeraX, EasyC… Security Scan #401: Commit fb3db5a pushed by hyperpolymath
5m 32s main
main
5m 32s
feat(suggest): implement echidna suggest CLI verb — mechanical tactic… Security Scan #400: Commit 133e31b pushed by hyperpolymath
5m 24s main
main
5m 24s
feat(provers): close Phase 4 — 6 DL/probabilistic/B-method/comp-crypt… Security Scan #399: Commit 94002d0 pushed by hyperpolymath
5m 40s main
main
5m 40s
feat(provers): close Phase 3 — 6 real-algebraic + connection-method +… Security Scan #398: Commit dec54bf pushed by hyperpolymath
6m 6s main
main
6m 6s
docs(verification): stage E10 PO-12 strong maximality (proof attempt) Security Scan #397: Commit c7e8a09 pushed by hyperpolymath
5m 44s main
main
5m 44s
docs(verification): tighten E13 PR-14 + add E10 descent-measure groun… Security Scan #396: Commit 864dbad pushed by hyperpolymath
6m 34s main
main
6m 34s
feat(data/synonyms): seed first 27 tactic-synonym entries Security Scan #395: Commit 8fc8615 pushed by hyperpolymath
5m 36s main
main
5m 36s
feat(gnn): activate closed-loop scoring at agent → tactic-suggestion … Security Scan #394: Commit 5fdff1c pushed by hyperpolymath
5m 50s main
main
5m 50s
feat(gnn): thread domain_hints through GnnGuidedSearch — activate wei… Security Scan #393: Commit abd2215 pushed by hyperpolymath
5m 34s main
main
5m 34s