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
docs(chapel): PIC-from-source rebuild ADR + Justfile recipe CodeQL Security Analysis #822: Pull request #150 opened by hyperpolymath
14h 37m 11s feat/chapel-pic-from-source-recipe
feat/chapel-pic-from-source-recipe
14h 37m 11s
docs: reconcile CLAUDE.md + FAQ.md with AGPL migration (#112 follow-up) CodeQL Security Analysis #821: Pull request #149 opened by hyperpolymath
14h 37m 18s fix/license-drift-claude-md-faq
fix/license-drift-claude-md-faq
14h 37m 18s
fix(cflite): correct fuzz binary path — fuzz/ is workspace-excluded (… CodeQL Security Analysis #820: Commit 12108ac pushed by hyperpolymath
2h 52m 18s main
main
2h 52m 18s
perf(chapel): wave-1 speedup baseline — bench_mrr + 3 fixtures (#148) CodeQL Security Analysis #819: Commit c880bd6 pushed by hyperpolymath
25s main
main
25s
perf(chapel): wave-1 speedup baseline — bench_mrr + 3 fixtures CodeQL Security Analysis #818: Pull request #148 opened by hyperpolymath
14h 43m 25s feat/chapel-mrr-baseline
feat/chapel-mrr-baseline
14h 43m 25s
fix(cflite): correct fuzz binary path — fuzz/ is workspace-excluded (refs #143) CodeQL Security Analysis #817: Pull request #147 opened by hyperpolymath
14h 47m 7s fix/clusterfuzzlite-fuzz-target-path-143
fix/clusterfuzzlite-fuzz-target-path-143
14h 47m 7s
ci(chapel): mark rust-chapel-feature continue-on-error to match upstr… CodeQL Security Analysis #816: Commit 8e43905 pushed by hyperpolymath
31m 25s main
main
31m 25s
fix(security): bound 8 unbounded file reads — panic-attack Critical f… CodeQL Security Analysis #815: Commit e9742bd pushed by hyperpolymath
1m 43s main
main
1m 43s
feat(chapel): L2 parallel proof search — rehabilitation (closes #133)… CodeQL Security Analysis #814: Commit ba065e2 pushed by hyperpolymath
8s main
main
8s
feat(chapel): L2 parallel proof search — rehabilitation (closes #133) CodeQL Security Analysis #813: Pull request #146 opened by hyperpolymath
14h 35m 19s feat/chapel-rehabilitation-l22
feat/chapel-rehabilitation-l22
14h 35m 19s
fix(security): bound 8 unbounded file reads — panic-attack Critical findings (Refs #104) CodeQL Security Analysis #812: Pull request #145 opened by hyperpolymath
14h 38m 35s fix/unbounded-allocation-corpus-suggest-diagnostics
fix/unbounded-allocation-corpus-suggest-diagnostics
14h 38m 35s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#140) CodeQL Security Analysis #811: Commit 4e498b8 pushed by hyperpolymath
58m 40s main
main
58m 40s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) CodeQL Security Analysis #810: Pull request #140 opened by hyperpolymath
12h 8m 17s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
12h 8m 17s
ci(scorecard-enforcer): split score-threshold from publish job (OSSF … CodeQL Security Analysis #809: Commit 6ff5711 pushed by hyperpolymath
37m 44s main
main
37m 44s
ci(scorecard-enforcer): split score-threshold from publish job (OSSF run-step ban) CodeQL Security Analysis #808: Pull request #139 opened by hyperpolymath
11h 10m 26s ci/scorecard-enforcer-split-publish-from-run
ci/scorecard-enforcer-split-publish-from-run
11h 10m 26s
ci(mvp-smoke): install just before invoking the mvp-env recipe (#… CodeQL Security Analysis #807: Commit c84040f pushed by hyperpolymath
29m 37s main
main
29m 37s
ci(chapel): mark rust-chapel-feature continue-on-error to match upstream allow-fail CodeQL Security Analysis #806: Pull request #138 opened by hyperpolymath
5h 0m 0s ci/chapel-rust-feature-continue-on-error
ci/chapel-rust-feature-continue-on-error
5h 0m 0s
feat(provers): close GNN-ranking arc — Tier-3/niche sweep (53) + doc … CodeQL Security Analysis #805: Commit 5ddb6c1 pushed by hyperpolymath
8m 59s main
main
8m 59s
feat(provers): close GNN-ranking arc — Tier-3/niche sweep (53) + doc close-out CodeQL Security Analysis #804: Pull request #137 synchronize by hyperpolymath
5h 6m 16s feat/gnn-tier3-niche-sweep
feat/gnn-tier3-niche-sweep
5h 6m 16s
feat(provers): finish T1 GNN coverage + sweep T2 (35 backends) (#136) CodeQL Security Analysis #803: Commit 34c09a4 pushed by hyperpolymath
2m 38s main
main
2m 38s
feat(provers): close GNN-ranking arc — Tier-3/niche sweep (53) + doc close-out CodeQL Security Analysis #802: Pull request #137 opened by hyperpolymath
13m 14s feat/gnn-tier3-niche-sweep
feat/gnn-tier3-niche-sweep
13m 14s
feat(provers): finish T1 GNN coverage + sweep T2 (35 backends) CodeQL Security Analysis #801: Pull request #136 opened by hyperpolymath
1h 40m 1s feat/gnn-tier1-finisher-altergo-eprover
feat/gnn-tier1-finisher-altergo-eprover
1h 40m 1s
ci(scorecard): add job-level permissions for reusable workflow (#132) CodeQL Security Analysis #800: Commit ade479f pushed by hyperpolymath
49m 29s main
main
49m 29s
feat(provers): extend GNN-ranking from 5 to 10 Tier-1 backends (#135) CodeQL Security Analysis #799: Commit 2edf1a8 pushed by hyperpolymath
7m 35s main
main
7m 35s
feat(provers): extend GNN-ranking from 5 to 10 Tier-1 backends CodeQL Security Analysis #798: Pull request #135 opened by hyperpolymath
5m 55s feat/gnn-ranking-extend-5-tier1
feat/gnn-ranking-extend-5-tier1
5m 55s
ProTip! You can narrow down the results and go further in time using created:<2026-05-30 or the other filters available.