Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
386 workflow runs
386 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
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #311: Commit aaeef38 pushed by hyperpolymath
1h 16m 35s main
main
1h 16m 35s
chore: track (empty) deno.lock for M5 sweep CodeQL Security Analysis #310: Commit 3b03087 pushed by hyperpolymath
31m 49s main
main
31m 49s
CodeQL Security Analysis CodeQL Security Analysis #309: Scheduled
7m 24s main
main
7m 24s
chore(ui): migrate Justfile to deno task + update ReScript UI layer CodeQL Security Analysis #308: Commit c771a08 pushed by hyperpolymath
7m 9s main
main
7m 9s
feat(echidnabot): harden webhook signing + prover-unavailable distinc… CodeQL Security Analysis #307: Commit c3fc0b2 pushed by hyperpolymath
7m 21s main
main
7m 21s
proof: E4 trust level soundness (Idris2 complement to Lean4 Confidenc… CodeQL Security Analysis #306: Commit 84121ce pushed by hyperpolymath
7m 6s main
main
7m 6s
chore(contractiles): migrate to .machine_readable/contractiles/ (cano… CodeQL Security Analysis #305: Commit 6ab0901 pushed by hyperpolymath
7m 23s main
main
7m 23s
chore(6a2): migrate bot_directives to A2ML, remove deprecated .scm me… CodeQL Security Analysis #304: Commit ffc2aa5 pushed by hyperpolymath
7m 5s main
main
7m 5s
chore(6a2): commit pre-existing 6a2 sweep for echidnabot, HOL-o-exten… CodeQL Security Analysis #303: Commit 02fd283 pushed by hyperpolymath
8m 40s main
main
8m 40s
chore(models): commit retrain metadata from 2026-04-11 VeriSimDB loop CodeQL Security Analysis #302: Commit 390070b pushed by hyperpolymath
8m 15s main
main
8m 15s
feat(v2.2): epistemic hardening — Z3 easy fixes, integration wiring, … CodeQL Security Analysis #301: Commit b0e29d0 pushed by hyperpolymath
7m 38s main
main
7m 38s
docs(machine-readable): update 6a2 for 2026-04-11 Fly cold-start hard… CodeQL Security Analysis #300: Commit a59159c pushed by hyperpolymath
8m 54s main
main
8m 54s
chore(6a2): update echidnabot STATE + fix Intentfile copy-paste CodeQL Security Analysis #299: Commit 7ad4f66 pushed by hyperpolymath
6m 58s main
main
6m 58s
feat(echidnabot+retrain): wire VeriSimDB dogfood loop end-to-end CodeQL Security Analysis #298: Commit c90d270 pushed by hyperpolymath
6m 53s main
main
6m 53s
fix(fly): cold-start hardening — 90s grace, HTTP health check, curl CodeQL Security Analysis #297: Commit bdaf6f4 pushed by hyperpolymath
8m 8s main
main
8m 8s
feat(coupling): wire echidnabot → VeriSimDB + Julia retrain pipeline CodeQL Security Analysis #296: Commit 06a1c65 pushed by hyperpolymath
30m 7s main
main
30m 7s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #295: Commit 158cd00 pushed by hyperpolymath
1h 45m 18s main
main
1h 45m 18s
feat(corpus): expand Isabelle/HOL corpus from 4 to 101 entries CodeQL Security Analysis #294: Commit a86dc35 pushed by hyperpolymath
7m 10s main
main
7m 10s
Add Just recipe for Invariant Path wrapper CodeQL Security Analysis #293: Commit 32c1cd1 pushed by hyperpolymath
7m 8s main
main
7m 8s
chore: automated sync of local changes CodeQL Security Analysis #292: Commit 0c5accc pushed by hyperpolymath
16m 53s main
main
16m 53s
fix(api): route SMT check-sat queries through raw solver eval CodeQL Security Analysis #291: Commit fbad8e6 pushed by hyperpolymath
7m 43s main
main
7m 43s
CodeQL Security Analysis CodeQL Security Analysis #290: Scheduled
6m 39s main
main
6m 39s
fix(echidna): per-backend verify_raw + ProofComposition.agda rewrite CodeQL Security Analysis #289: Commit 35d0ddf pushed by hyperpolymath
6m 59s main
main
6m 59s
docs: update CHANGELOG + STATE.a2ml for 2026-04-05 session CodeQL Security Analysis #288: Commit 69bd562 pushed by hyperpolymath
7m 28s main
main
7m 28s
docs(changelog): consolidate 2026-04-05 Unreleased section CodeQL Security Analysis #287: Commit 8e9f561 pushed by hyperpolymath
7m 8s main
main
7m 8s