Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
560 workflow runs
560 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
Claude/fix prover wiring epy ir CodeQL Security Analysis #410: Pull request #22 synchronize by hyperpolymath
7m 23s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 23s
Add unified type-system decoration framework and Sigma types CodeQL Security Analysis #409: Commit 53af277 pushed by hyperpolymath
14m 38s main
main
14m 38s
Claude/fix prover wiring epy ir (#21) CodeQL Security Analysis #408: Commit cbd5ad1 pushed by hyperpolymath
16m 8s main
main
16m 8s
Claude/fix prover wiring epy ir CodeQL Security Analysis #407: Pull request #21 synchronize by hyperpolymath
13m 0s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
13m 0s
Claude/fix prover wiring epy ir CodeQL Security Analysis #406: Pull request #21 opened by hyperpolymath
10m 38s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
10m 38s
feat(corpus): expand synthetic proofs for least-represented provers (… CodeQL Security Analysis #405: Commit 8b79af5 pushed by hyperpolymath
9m 23s main
main
9m 23s
feat(corpus): expand synthetic proofs for least-represented provers CodeQL Security Analysis #404: Pull request #20 synchronize by hyperpolymath
8m 44s claude/expand-vocabulary-corpus-1SFwy
claude/expand-vocabulary-corpus-1SFwy
8m 44s
Add Tier 3 weekly CI for upstream provers and corpus provisioning (#19) CodeQL Security Analysis #403: Commit 1211f02 pushed by hyperpolymath
7m 44s main
main
7m 44s
Add Tier 3 weekly CI for upstream provers and corpus provisioning CodeQL Security Analysis #402: Pull request #19 opened by hyperpolymath
7m 30s claude/fix-prover-wiring-epyIR
claude/fix-prover-wiring-epyIR
7m 30s
docs(handover): synthesis — tight TODO + STATE for L1/L2/L3 CodeQL Security Analysis #401: Commit 2200dcf pushed by hyperpolymath
7m 45s main
main
7m 45s
docs(handover): mirror ~/Desktop/ECHIDNA-*.md into docs/handover/ CodeQL Security Analysis #400: Commit b6d437c pushed by hyperpolymath
8m 19s main
main
8m 19s
docs(state): record L3 Wave-2 landing + Wave-3 handover hints CodeQL Security Analysis #399: Commit 6717b12 pushed by hyperpolymath
7m 40s main
main
7m 40s
docs(chapel-ffi): document self-linking build + ignore regenerable ou… CodeQL Security Analysis #398: Commit 4ab4ea9 pushed by hyperpolymath
7m 44s main
main
7m 44s
feat(ci): L3 Wave-1 — live-prover CI scaffold (Guix-first, Nix fallback) CodeQL Security Analysis #397: Commit b022bf4 pushed by hyperpolymath
7m 58s main
main
7m 58s
fix(ml-training): actually update logistic weights (was no-op) CodeQL Security Analysis #396: Commit 3f32c29 pushed by hyperpolymath
5h 36m 33s main
main
5h 36m 33s
feat(ml-training): parameterise epochs + models dir via env vars CodeQL Security Analysis #395: Commit eb7c819 pushed by hyperpolymath
5h 32m 18s main
main
5h 32m 18s
fix(ml-training): SimpleLogger + async flusher for background runs CodeQL Security Analysis #394: Commit 8646e23 pushed by hyperpolymath
5h 1m 59s main
main
5h 1m 59s
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #393: Commit ff2e47b pushed by hyperpolymath
4h 34m 8s main
main
4h 34m 8s
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