Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
838 workflow runs
838 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
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, c… CodeQL Security Analysis #838: Commit a2aeb6a pushed by hyperpolymath
Queued main
main
Queued
ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent (#… CodeQL Security Analysis #837: Commit 20bb6ba pushed by hyperpolymath
6s main
main
6s
ci(wave3): stub-sentinel detection step in tier3-container matrix (#157) CodeQL Security Analysis #836: Commit e86d156 pushed by hyperpolymath
5s main
main
5s
chore(wave3): bump Poly/ML 5.9.1→5.9.2, OR-Tools 9.12→9.15, ACL2 8.6→… CodeQL Security Analysis #835: Commit fa55844 pushed by hyperpolymath
5s main
main
5s
feat(deno): migrate echidna-playground npm -> Deno (standards#253) (#… CodeQL Security Analysis #834: Commit 207a602 pushed by hyperpolymath
4s main
main
4s
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, closes #159) CodeQL Security Analysis #833: Pull request #164 opened by hyperpolymath
Queued wave3/158-159-prover-cwd-filename-hooks
wave3/158-159-prover-cwd-filename-hooks
Queued
ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent CodeQL Security Analysis #832: Pull request #163 opened by hyperpolymath
Queued fix/hypatia-scan-orphan-sha-repin
fix/hypatia-scan-orphan-sha-repin
Queued
feat(chapel): L2.3 cancel-token preemption (#154) CodeQL Security Analysis #831: Commit 870a2ec pushed by hyperpolymath
53m 51s main
main
53m 51s
feat(abi): EchidnaABI.TacticRecord — fixed-point confidence + total-o… CodeQL Security Analysis #830: Commit cfa1e7f pushed by hyperpolymath
7s main
main
7s
docs(chapel): PIC-from-source rebuild ADR + Justfile recipe (#150) CodeQL Security Analysis #829: Commit cd1a713 pushed by hyperpolymath
10s main
main
10s
ci(wave3): stub-sentinel detection step in tier3-container matrix CodeQL Security Analysis #828: Pull request #157 opened by hyperpolymath
Queued chore/wave3-stub-sentinel-detection
chore/wave3-stub-sentinel-detection
Queued
chore(wave3): bump Poly/ML 5.9.1→5.9.2, OR-Tools 9.12→9.15, ACL2 8.6→8.7 CodeQL Security Analysis #827: Pull request #156 opened by hyperpolymath
Queued chore/wave3-pin-bumps-poly-ortools-acl2
chore/wave3-pin-bumps-poly-ortools-acl2
Queued
feat(deno): migrate echidna-playground npm -> Deno (standards#253) CodeQL Security Analysis #826: Pull request #155 opened by hyperpolymath
13h 52m 19s campaign-253/migrate-playground-deno
campaign-253/migrate-playground-deno
13h 52m 19s
feat(chapel): L2.3 cancel-token preemption CodeQL Security Analysis #825: Pull request #154 opened by hyperpolymath
13h 58m 23s feat/chapel-l23-cancel-token
feat/chapel-l23-cancel-token
13h 58m 23s
fix(abi): correct EchidnaABI.Foreign module-decl + imports; delete orphan duplicate CodeQL Security Analysis #824: Pull request #153 opened by hyperpolymath
13h 55m 49s fix/echidnaabi-foreign-import-typo
fix/echidnaabi-foreign-import-typo
13h 55m 49s
feat(abi): EchidnaABI.TacticRecord — fixed-point confidence + total-order proof CodeQL Security Analysis #823: Pull request #151 opened by hyperpolymath
14h 17m 6s feat/idris2-abi-tactic-record
feat/idris2-abi-tactic-record
14h 17m 6s
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