Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,462 workflow runs
1,462 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
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
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
ProTip! You can narrow down the results and go further in time using created:<2026-04-04 or the other filters available.