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
Allow Isabelle verify for trivial goals CodeQL Security Analysis #97: Commit 74c0834 pushed by hyperpolymath
6m 41s main
main
6m 41s
Ignore local prover artifacts CodeQL Security Analysis #96: Commit 3af544a pushed by hyperpolymath
6m 34s main
main
6m 34s
Fix ACL2 verification input handling CodeQL Security Analysis #95: Commit 611342d pushed by hyperpolymath
6m 50s main
main
6m 50s
Fix Agda/CVC5 verification for MVP sweep CodeQL Security Analysis #94: Commit ea05029 pushed by hyperpolymath
6m 31s main
main
6m 31s
Add MVP missing prover backlog CodeQL Security Analysis #93: Commit 03c9a0d pushed by hyperpolymath
6m 54s main
main
6m 54s
Track missing local provers in MVP checklist CodeQL Security Analysis #92: Commit 4d7b84d pushed by hyperpolymath
7m 11s main
main
7m 11s
Document local MVP CodeQL Security Analysis #91: Commit d97d4f1 pushed by hyperpolymath
6m 43s main
main
6m 43s
Use source file for Mizar CodeQL Security Analysis #90: Commit 9697919 pushed by hyperpolymath
6m 47s main
main
6m 47s
Stabilize MVP verification for Lean/Z3 CodeQL Security Analysis #89: Commit b196739 pushed by hyperpolymath
6m 41s main
main
6m 41s
Add MVP dependencies and best-effort CI CodeQL Security Analysis #88: Commit 4d3e9d3 pushed by hyperpolymath
6m 25s main
main
6m 25s
Add MVP 1.0 checklist and smoke checks CodeQL Security Analysis #87: Commit 7113ba6 pushed by hyperpolymath
6m 30s main
main
6m 30s
Update echidnabot submodule CodeQL Security Analysis #86: Commit a8fdeb4 pushed by hyperpolymath
6m 18s main
main
6m 18s
Remove broken echidna-setup gitlink CodeQL Security Analysis #85: Commit ccfdaf2 pushed by hyperpolymath
6m 55s main
main
6m 55s
chore: sync template files and configuration CodeQL Security Analysis #84: Commit 0ab4218 pushed by hyperpolymath
13m 17s main
main
13m 17s
fix(version): bump Cargo.toml version to match v1.0.0 tag CodeQL Security Analysis #83: Commit 7e4b260 pushed by hyperpolymath
6m 11s main
main
6m 11s
CodeQL Security Analysis CodeQL Security Analysis #82: Scheduled
6m 21s main
main
6m 21s
Update README.adoc CodeQL Security Analysis #81: Commit 47050d8 pushed by hyperpolymath
6m 8s main
main
6m 8s
feat: add CI/CD and Julia integration testing CodeQL Security Analysis #80: Commit adf748b pushed by hyperpolymath
6m 1s main
main
6m 1s
feat: add HOL4 tests and update NEUROSYM.scm with v2 radial network spec CodeQL Security Analysis #79: Commit cf9dff6 pushed by hyperpolymath
6m 8s main
main
6m 8s
feat: complete neural integration with Julia ML backend CodeQL Security Analysis #78: Commit f106963 pushed by hyperpolymath
6m 12s main
main
6m 12s
feat(provers): implement complete Lean 4 backend CodeQL Security Analysis #77: Commit 30b36cc pushed by hyperpolymath
5m 55s main
main
5m 55s
Add SCM metadata files (STATE, META, ECOSYSTEM) CodeQL Security Analysis #76: Commit f45f06f pushed by hyperpolymath
54m 48s main
main
54m 48s
Add ClusterFuzzLite fuzzing infrastructure CodeQL Security Analysis #75: Commit fc6124e pushed by hyperpolymath
1h 0m 28s main
main
1h 0m 28s
Update license to Palimpsest-MPL-1.0 CodeQL Security Analysis #74: Commit 6037fce pushed by hyperpolymath
12m 39s main
main
12m 39s
chore: rename justfile to Justfile for consistency CodeQL Security Analysis #73: Commit cfafb77 pushed by hyperpolymath
21m 55s main
main
21m 55s
ProTip! You can narrow down the results and go further in time using created:<2026-01-08 or the other filters available.