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
feat(metrics): scaffold eight-axis corpus metrics suite with VeriSim … CodeQL Security Analysis #322: Commit 6b27847 pushed by hyperpolymath
8m 23s main
main
8m 23s
corpus: AFP → 50K, broader Agda extraction, rebalance CodeQL Security Analysis #321: Commit ff9a58a pushed by hyperpolymath
7m 39s main
main
7m 39s
feat(vocab): cap CANON at ~100K tokens via MAX_MINED CodeQL Security Analysis #320: Commit 4b07e0c pushed by hyperpolymath
8m 7s main
main
8m 7s
feat(vocab): corpus-mined tokens → CANON 8,887 → 114,983 (12.9×) CodeQL Security Analysis #319: Commit bc90974 pushed by hyperpolymath
7m 52s main
main
7m 52s
corpus: fold Agda + AFP into merge_corpus, regenerate UNIFIED stats CodeQL Security Analysis #318: Commit 300d35e pushed by hyperpolymath
7m 55s main
main
7m 55s
feat(corpus): AFP extractor — Isabelle 98 → 20,584 proofs CodeQL Security Analysis #317: Commit b0cd92f pushed by hyperpolymath
7m 47s main
main
7m 47s
feat(corpus): Agda extractor — 1 → 5,529 proofs from agda-stdlib CodeQL Security Analysis #316: Commit d0762eb pushed by hyperpolymath
8m 2s main
main
8m 2s
feat(vocab): curated CANON seed wired into training tokenizer CodeQL Security Analysis #315: Commit ce6528f pushed by hyperpolymath
8m 19s main
main
8m 19s
feat(corpus): add typechecker-ecosystem prover families + vocabulary CodeQL Security Analysis #314: Commit c1c311f pushed by hyperpolymath
7m 52s main
main
7m 52s
chore: sync chore drift (docs, workflows, gitignore, a2ml) CodeQL Security Analysis #313: Commit fdcb18e pushed by hyperpolymath
1h 0m 30s main
main
1h 0m 30s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #312: Commit 169e030 pushed by hyperpolymath
1h 58m 22s main
main
1h 58m 22s
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
ProTip! You can narrow down the results and go further in time using created:<2026-04-11 or the other filters available.