Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Green Web Foundation badge (#9) CodeQL Security Analysis #240: Commit cb5eb6c pushed by hyperpolymath
9m 8s main
main
9m 8s
Add Green Web Foundation badge CodeQL Security Analysis #239: Pull request #9 synchronize by hyperpolymath
6m 57s add-gwf-badge
add-gwf-badge
6m 57s
chore: bump to v2.0.0, update ROADMAP and CLAUDE.md CodeQL Security Analysis #238: Commit 8157352 pushed by hyperpolymath
6m 50s main
main
6m 50s
test: add 131 new tests across 20 modules (397→528 passing) CodeQL Security Analysis #237: Commit bc2689d pushed by hyperpolymath
8m 39s main
main
8m 39s
feat: add comprehensive Criterion benchmarks + make kind_from_u8 public CodeQL Security Analysis #236: Commit 06f20de pushed by hyperpolymath
6m 50s main
main
6m 50s
feat(ffi): complete FFI bridge for all 48 prover backends CodeQL Security Analysis #235: Commit eef9358 pushed by hyperpolymath
6m 57s main
main
6m 57s
feat: add Agda meta-checker formally verifying trust pipeline CodeQL Security Analysis #234: Commit 687779b pushed by hyperpolymath
6m 30s main
main
6m 30s
fix: eliminate all clippy warnings and errors across entire codebase CodeQL Security Analysis #233: Commit 77b901c pushed by hyperpolymath
6m 47s main
main
6m 47s
fix: apply PORT-REGISTRY.md — neural/prover API 8081, docs-site 4070 CodeQL Security Analysis #232: Commit cfecece pushed by hyperpolymath
7m 12s main
main
7m 12s
Add Green Web Foundation badge CodeQL Security Analysis #231: Pull request #9 opened by hyperpolymath
6m 32s add-gwf-badge
add-gwf-badge
6m 32s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #230: Commit 20242a7 pushed by hyperpolymath
1h 11m 17s main
main
1h 11m 17s
feat(ux): add onboarding, contractiles, and UX infrastructure CodeQL Security Analysis #229: Commit 58ba3fe pushed by hyperpolymath
7m 52s main
main
7m 52s
feat: add groove discovery endpoint for ECHIDNA CodeQL Security Analysis #228: Commit 870345b pushed by hyperpolymath
7m 22s main
main
7m 22s
fix: compilation errors, rustfmt stable compat, cargo fmt across code… CodeQL Security Analysis #227: Commit f53f3a5 pushed by hyperpolymath
6m 43s main
main
6m 43s
chore: update STATE.a2ml date to 2026-03-23 (48 backends) CodeQL Security Analysis #226: Commit 87bf8ea pushed by hyperpolymath
7m 40s main
main
7m 40s
feat(provers): add 7 backends completing 48/48 target CodeQL Security Analysis #225: Commit 3b38b59 pushed by hyperpolymath
8m 53s main
main
8m 53s
CodeQL Security Analysis CodeQL Security Analysis #224: Scheduled
6m 31s main
main
6m 31s
feat(provers): add 6 SAT/model-checker backends (NuSMV, TLC, Alloy, P… CodeQL Security Analysis #223: Commit 329407e pushed by hyperpolymath
6m 56s main
main
6m 56s
fix(pvs): fix PVSCaseSelection field mismatch in CASES parser CodeQL Security Analysis #222: Commit 3bcab4a pushed by hyperpolymath
6m 34s main
main
6m 34s
chore: add Julia project env for test server, install Vampire 5.0.1 CodeQL Security Analysis #221: Commit 5596b2c pushed by hyperpolymath
17m 14s main
main
17m 14s
Add typed-wasm prover backend + property test regressions CodeQL Security Analysis #220: Commit ac9a379 pushed by hyperpolymath
38m 39s main
main
38m 39s
test: implement 6 agentic integration tests, fix TypedWasm match exha… CodeQL Security Analysis #219: Commit 6e9ab48 pushed by hyperpolymath
45m 11s main
main
45m 11s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #218: Commit f6db76b pushed by hyperpolymath
18m 46s main
main
18m 46s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #217: Commit e133c4e pushed by hyperpolymath
7m 11s main
main
7m 11s
Add arXiv-style paper: Neurosymbolic Theorem Proving CodeQL Security Analysis #216: Commit 4a597ea pushed by hyperpolymath
6m 35s main
main
6m 35s