Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
442 workflow runs
442 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(ml-training): accept JSONL whitespace after colon in regex parser CodeQL Security Analysis #392: Commit c8a200e pushed by hyperpolymath
4h 39m 16s main
main
4h 39m 16s
fix(verisim): resolve 22 cargo check errors on --features verisim CodeQL Security Analysis #391: Commit b94858d pushed by hyperpolymath
4h 36m 26s main
main
4h 36m 26s
chore: checkpoint local changes CodeQL Security Analysis #390: Commit cac55f8 pushed by hyperpolymath
4h 22m 13s main
main
4h 22m 13s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #389: Commit 16252d7 pushed by hyperpolymath
3h 30m 16s main
main
3h 30m 16s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #388: Commit 9c116c0 pushed by hyperpolymath
2h 26m 56s main
main
2h 26m 56s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #387: Commit bbf26ee pushed by hyperpolymath
11m 44s main
main
11m 44s
chore(state): record CI hygiene close (0e46943) — code-side failures … CodeQL Security Analysis #386: Commit 53cef67 pushed by hyperpolymath
7m 44s main
main
7m 44s
chore(ci): fix workflow references + stale action SHAs + dependabot c… CodeQL Security Analysis #385: Commit 0e46943 pushed by hyperpolymath
8m 23s main
main
8m 23s
chore(state): record downstream landings — outcome taxonomy + CVC5 fix CodeQL Security Analysis #384: Commit a0163fb pushed by hyperpolymath
7m 56s main
main
7m 56s
docs: refresh README/CLAUDE/EXPLAINME + STATE close-out CodeQL Security Analysis #383: Commit 04504a4 pushed by hyperpolymath
7m 51s main
main
7m 51s
refactor(core): resolve all 14 TODOs across aspect/agent/server/integ… CodeQL Security Analysis #382: Commit a0bc8ea pushed by hyperpolymath
7m 55s main
main
7m 55s
feat(extract): HOL4 past 100K (96K → 128K) CodeQL Security Analysis #381: Commit 7e48b4e pushed by hyperpolymath
8m 3s main
main
8m 3s
fix(extract): SMT-LIB per-file size gate + try/catch CodeQL Security Analysis #380: Commit 9b6b52e pushed by hyperpolymath
7m 56s main
main
7m 56s
feat(extract): add Rocq to Coq-family walk (108K → 112K) CodeQL Security Analysis #379: Commit be41063 pushed by hyperpolymath
8m 41s main
main
8m 41s
feat(extract): F* — walk HACL* (LowStar crypto corpus) CodeQL Security Analysis #378: Commit b3bc73b pushed by hyperpolymath
7m 57s main
main
7m 57s
feat(extract): HOL4 / HOL Light / Why3 — +3 more past or near 100K CodeQL Security Analysis #377: Commit 3ff1c85 pushed by hyperpolymath
7m 40s main
main
7m 40s
feat(extract): close #16 Dafny 100K + widen λProlog / Mercury / HOL4 CodeQL Security Analysis #376: Commit 7ef0e72 pushed by hyperpolymath
7m 48s main
main
7m 48s
feat(extract): Agda cleared 50K target (#18); Dafny widened (+4 corpora) CodeQL Security Analysis #375: Commit 687ec31 pushed by hyperpolymath
7m 49s main
main
7m 49s
feat(extract): AFP per-article cap 70 → 200 (50K → 106K) CodeQL Security Analysis #374: Commit 34b37cf pushed by hyperpolymath
8m 14s main
main
8m 14s
chore(state): session close — Step 3 corpus push wrap-up CodeQL Security Analysis #373: Commit b276bb6 pushed by hyperpolymath
9m 15s main
main
9m 15s
feat(corpus): add ~60 training-data outputs + balance scripts + floor… CodeQL Security Analysis #372: Commit f207737 pushed by hyperpolymath
9m 38s main
main
9m 38s
feat(extract): MiniZinc full-share + gitignore TPTP output CodeQL Security Analysis #371: Commit 529ed55 pushed by hyperpolymath
7m 38s main
main
7m 38s
feat(extract): TPTP/SMT-LIB full-share + Why3 widening CodeQL Security Analysis #370: Commit 5727013 pushed by hyperpolymath
7m 13s main
main
7m 13s
feat(extract): Agda literate .lagda.md preprocessor CodeQL Security Analysis #369: Commit 5493df4 pushed by hyperpolymath
8m 4s main
main
8m 4s
feat(extract): Phase A push — Lean 3 + Mathcomp toward 100K CodeQL Security Analysis #368: Commit 31b8790 pushed by hyperpolymath
7m 50s main
main
7m 50s