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: update Cargo dependencies for security CodeQL Security Analysis #247: Commit 2ff20e4 pushed by hyperpolymath
13m 32s main
main
13m 32s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #246: Commit eba3e3f pushed by hyperpolymath
18m 1s main
main
18m 1s
chore: gitignore .tool-versions (asdf) CodeQL Security Analysis #245: Commit 8515751 pushed by hyperpolymath
1h 56m 14s main
main
1h 56m 14s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #244: Commit d207085 pushed by hyperpolymath
1h 35m 0s main
main
1h 35m 0s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #243: Commit f37b0f0 pushed by hyperpolymath
41m 53s main
main
41m 53s
feat: add V-lang API for theorem prover client CodeQL Security Analysis #242: Commit d0ade7f pushed by hyperpolymath
7m 18s main
main
7m 18s
feat: add Groove discovery manifest CodeQL Security Analysis #241: Commit 3863630 pushed by hyperpolymath
8m 2s main
main
8m 2s
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
ProTip! You can narrow down the results and go further in time using created:<2026-03-22 or the other filters available.