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
chore: add eclexiaiser-validate job to dogfood gate CodeQL Security Analysis #272: Commit 58f7f1d pushed by hyperpolymath
4h 24m 31s main
main
4h 24m 31s
feat: wire conflow config validation pipeline CodeQL Security Analysis #271: Commit 4bd92a4 pushed by hyperpolymath
3h 49m 55s main
main
3h 49m 55s
chore: add eclexiaiser.toml energy-cost manifest CodeQL Security Analysis #270: Commit 984342a pushed by hyperpolymath
3h 16m 30s main
main
3h 16m 30s
chore: add K9 Kennel-level metadata guard CodeQL Security Analysis #269: Commit 4f6b1f8 pushed by hyperpolymath
2h 28m 22s main
main
2h 28m 22s
feat: add k9iser.toml and generate K9 contracts CodeQL Security Analysis #268: Commit c52df41 pushed by hyperpolymath
2h 18m 14s main
main
2h 18m 14s
ci: deploy dogfood-gate, add Groove manifest and CRG tests CodeQL Security Analysis #267: Commit 66b6bc4 pushed by hyperpolymath
2h 4m 37s main
main
2h 4m 37s
test: CRG B evidence — 6 external targets tested CodeQL Security Analysis #266: Commit 5097cb8 pushed by hyperpolymath
37m 1s main
main
37m 1s
fix(ci): exclude third-party HTML dirs from mixed content check CodeQL Security Analysis #265: Commit a462d5a pushed by hyperpolymath
12m 4s main
main
12m 4s
test: CRG C blitz — E2E, P2P, security, concurrency + routing benchmarks CodeQL Security Analysis #264: Commit ea22b5a pushed by hyperpolymath
6m 45s main
main
6m 45s
test: CRG C blitz — E2E, P2P, aspect, Julia, shell test coverage CodeQL Security Analysis #263: Commit d9b7ea0 pushed by hyperpolymath
6m 52s main
main
6m 52s
feat(axioms): add really_believe_me, prim__crash (Idris2) + {!!} hole… CodeQL Security Analysis #262: Commit 7d46dbc pushed by hyperpolymath
9m 12s main
main
9m 12s
fix(deps): update Cargo.lock to resolve security advisories CodeQL Security Analysis #261: Commit ccbe52c pushed by hyperpolymath
12m 9s main
main
12m 9s
Snapshot local work before sync CodeQL Security Analysis #260: Commit 0197bdb pushed by hyperpolymath
7m 43s main
main
7m 43s
Snapshot local work before sync CodeQL Security Analysis #259: Commit 1e2e984 pushed by hyperpolymath
9m 12s main
main
9m 12s
Change Green Hosting link in README CodeQL Security Analysis #258: Commit b98f67b pushed by hyperpolymath
7m 30s main
main
7m 30s
feat: add AxiomTrackerCompleteness.agda CodeQL Security Analysis #257: Commit 563ce51 pushed by hyperpolymath
26m 24s main
main
26m 24s
Remove template-only ABI files that falsely implied formal verification CodeQL Security Analysis #256: Commit e1ae4f7 pushed by hyperpolymath
13m 49s main
main
13m 49s
docs: add BibTeX bibliography for neurosymbolic theorem proving paper CodeQL Security Analysis #255: Commit 0ae79b9 pushed by hyperpolymath
8m 3s main
main
8m 3s
CodeQL Security Analysis CodeQL Security Analysis #254: Scheduled
7m 23s main
main
7m 23s
feat: add GNN integration for proof search guidance (v2.1.0) CodeQL Security Analysis #253: Commit e7f373e pushed by hyperpolymath
7m 16s main
main
7m 16s
feat: 5x vocabulary expansion — 72,557 tokens across 48 provers + 10 … CodeQL Security Analysis #252: Commit 706556f pushed by hyperpolymath
7m 8s main
main
7m 8s
docs: update ReScript file count (28→33) and version after TS migration CodeQL Security Analysis #251: Commit ff9d279 pushed by hyperpolymath
7m 1s main
main
7m 1s
feat: migrate all 15 TypeScript files to ReScript — zero TS remaining CodeQL Security Analysis #250: Commit 5b58598 pushed by hyperpolymath
7m 18s main
main
7m 18s
feat: migrate all 26 corpus extraction scripts from Python to Julia CodeQL Security Analysis #249: Commit 637e39e pushed by hyperpolymath
7m 18s main
main
7m 18s
chore: replace template placeholders in ROADMAP.adoc files CodeQL Security Analysis #248: Commit b3eae15 pushed by hyperpolymath
11m 18s main
main
11m 18s
ProTip! You can narrow down the results and go further in time using created:<2026-03-29 or the other filters available.