Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 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(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
fix(provers/isabelle): de-stub parse_string + verify_proof CodeQL Security Analysis #286: Commit 7c37d21 pushed by hyperpolymath
6m 45s main
main
6m 45s
chore(proofs): add F* corpus (5 arithmetic lemmas) CodeQL Security Analysis #285: Commit c0f2069 pushed by hyperpolymath
6m 51s main
main
6m 51s
fix(server): guard against empty-ProofState false positives in verify… CodeQL Security Analysis #284: Commit 2269ebb pushed by hyperpolymath
6m 44s main
main
6m 44s
fix(proofs/idris2): repair 3 broken files — 5/5 now compile CodeQL Security Analysis #283: Commit 30b91c4 pushed by hyperpolymath
6m 59s main
main
6m 59s
refactor(rename): VQL → VCL + verisimdb → verisim (ecosystem consiste… CodeQL Security Analysis #282: Commit a3f38ec pushed by hyperpolymath
7m 29s main
main
7m 29s
fix(proofs): repair Agda scoping bugs + add BasicTotality.idr witness CodeQL Security Analysis #281: Commit b1a8eb6 pushed by hyperpolymath
6m 51s main
main
6m 51s
chore: drop Coq build artifacts from index CodeQL Security Analysis #280: Commit 5e0cfe7 pushed by hyperpolymath
6m 49s main
main
6m 49s
chore(gitignore): exclude prover build artifacts from proofs/ CodeQL Security Analysis #279: Commit 34ebc75 pushed by hyperpolymath
6m 54s main
main
6m 54s
feat(proofs): expand corpus for 10+ provers + fix EchidnaBuddy overclaim CodeQL Security Analysis #278: Commit 521b93f pushed by hyperpolymath
6m 50s main
main
6m 50s
chore(proofs): add TPTP corpus + known-good Agda witness CodeQL Security Analysis #277: Commit 6f78591 pushed by hyperpolymath
7m 14s main
main
7m 14s
feat(fly): deploy config for nesy-solver playground (Phase E3) CodeQL Security Analysis #276: Commit 3695e03 pushed by hyperpolymath
7m 27s main
main
7m 27s
docs(test-needs): file /api/verify false-positive bug CodeQL Security Analysis #275: Commit 517966e pushed by hyperpolymath
6m 47s main
main
6m 47s
chore(verification): gitignore Idris2 build artifacts CodeQL Security Analysis #274: Commit 579c14b pushed by hyperpolymath
6m 59s main
main
6m 59s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #273: Commit d163a93 pushed by hyperpolymath
5h 38m 29s main
main
5h 38m 29s
ProTip! You can narrow down the results and go further in time using created:<2026-04-04 or the other filters available.