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
CodeQL Security Analysis CodeQL Security Analysis #847: Scheduled
1m 39s main
main
1m 39s
feat(abi): close TacticRecord round-trip lemmas (closes #152) CodeQL Security Analysis #846: Pull request #166 synchronize by hyperpolymath
1m 37s feat/abi-tactic-record-roundtrip-lemmas-152
feat/abi-tactic-record-roundtrip-lemmas-152
1m 37s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75) CodeQL Security Analysis #845: Pull request #165 synchronize by hyperpolymath
1m 17s fix/container-ci-version-check-quoting
fix/container-ci-version-check-quoting
1m 17s
fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL CodeQL Security Analysis #844: Pull request #168 opened by hyperpolymath
1m 16s fix/idris2-abi-ci-install-pattern
fix/idris2-abi-ci-install-pattern
1m 16s
fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on mai… CodeQL Security Analysis #843: Commit fff57dc pushed by hyperpolymath
1m 25s main
main
1m 25s
fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on main CodeQL Security Analysis #842: Pull request #167 opened by hyperpolymath
1m 15s fix/governance-pin-just-tool-version
fix/governance-pin-just-tool-version
1m 15s
feat(abi): close TacticRecord round-trip lemmas (closes #152) CodeQL Security Analysis #841: Pull request #166 opened by hyperpolymath
1m 11s feat/abi-tactic-record-roundtrip-lemmas-152
feat/abi-tactic-record-roundtrip-lemmas-152
1m 11s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75) CodeQL Security Analysis #840: Pull request #165 opened by hyperpolymath
1m 12s fix/container-ci-version-check-quoting
fix/container-ci-version-check-quoting
1m 12s
Add sponsor badge CodeQL Security Analysis #839: Commit 78a65dc pushed by hyperpolymath
35m 17s main
main
35m 17s
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, c… CodeQL Security Analysis #838: Commit a2aeb6a pushed by hyperpolymath
12h 44m 37s main
main
12h 44m 37s
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
12h 43m 48s wave3/158-159-prover-cwd-filename-hooks
wave3/158-159-prover-cwd-filename-hooks
12h 43m 48s
ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent CodeQL Security Analysis #832: Pull request #163 opened by hyperpolymath
12h 58m 35s fix/hypatia-scan-orphan-sha-repin
fix/hypatia-scan-orphan-sha-repin
12h 58m 35s
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
13h 1m 23s chore/wave3-stub-sentinel-detection
chore/wave3-stub-sentinel-detection
13h 1m 23s
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
13h 52m 30s chore/wave3-pin-bumps-poly-ortools-acl2
chore/wave3-pin-bumps-poly-ortools-acl2
13h 52m 30s
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
ProTip! You can narrow down the results and go further in time using created:<2026-05-30 or the other filters available.