CodeQL Security Analysis

codeql.yml

1582 workflow runs

ci(governance): R5 — hard gate against doc canonical-reference drift …
completed successfully:
CodeQL Security Analysis#857:Commitd7ce814pushedbyhyperpolymath
main
Jun 1, 20261m 12s
ci(governance): R5 — hard gate against doc canonical-reference drift
completed successfully:
CodeQL Security Analysis#856:Pull request#171openedbyhyperpolymath
ci/governance-doc-drift-r5
Jun 1, 20261m 18s
docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence (#170)
completed successfully:
CodeQL Security Analysis#855:Commit92d06cepushedbyhyperpolymath
main
Jun 1, 20261m 7s
docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence
completed successfully:
CodeQL Security Analysis#854:Pull request#170openedbyhyperpolymath
docs/contributing-claude-quickstart-coherence
Jun 1, 20261m 20s
docs: narrative coherence — README/EXPLAINME defer counts to canonica…
completed successfully:
CodeQL Security Analysis#853:Commit6aff53bpushedbyhyperpolymath
main
Jun 1, 20261m 9s
feat(abi): close TacticRecord round-trip lemmas (closes #152) (#166)
completed successfully:
CodeQL Security Analysis#852:Commita94ee81pushedbyhyperpolymath
main
Jun 1, 20261m 26s
docs: narrative coherence — README/EXPLAINME defer counts to canonical sources
completed successfully:
CodeQL Security Analysis#851:Pull request#169openedbyhyperpolymath
docs/narrative-coherence-canonical-references
Jun 1, 20261m 22s
feat(abi): close TacticRecord round-trip lemmas (closes #152)
completed successfully:
CodeQL Security Analysis#850:Pull request#166synchronizebyhyperpolymath
feat/abi-tactic-record-roundtrip-lemmas-152
Jun 1, 20261m 48s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#…
completed successfully:
CodeQL Security Analysis#849:Commit598487cpushedbyhyperpolymath
main
Jun 1, 20261m 14s
fix(ci): idris2-abi install via apt + tag-archive fallback — replaces…
cancelled:
CodeQL Security Analysis#848:Commite1edebepushedbyhyperpolymath
main
Jun 1, 20261m 13s
CodeQL Security Analysis
cancelled:
CodeQL Security Analysis#847:Scheduled
main
Jun 1, 20261m 39s
feat(abi): close TacticRecord round-trip lemmas (closes #152)
completed successfully:
CodeQL Security Analysis#846:Pull request#166synchronizebyhyperpolymath
feat/abi-tactic-record-roundtrip-lemmas-152
Jun 1, 20261m 37s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75)
completed successfully:
CodeQL Security Analysis#845:Pull request#165synchronizebyhyperpolymath
fix/container-ci-version-check-quoting
Jun 1, 20261m 17s
fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL
completed successfully:
CodeQL Security Analysis#844:Pull request#168openedbyhyperpolymath
fix/idris2-abi-ci-install-pattern
Jun 1, 20261m 16s
fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on mai…
completed successfully:
CodeQL Security Analysis#843:Commitfff57dcpushedbyhyperpolymath
main
Jun 1, 20261m 25s
fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on main
completed successfully:
CodeQL Security Analysis#842:Pull request#167openedbyhyperpolymath
fix/governance-pin-just-tool-version
Jun 1, 20261m 15s
feat(abi): close TacticRecord round-trip lemmas (closes #152)
completed successfully:
CodeQL Security Analysis#841:Pull request#166openedbyhyperpolymath
feat/abi-tactic-record-roundtrip-lemmas-152
Jun 1, 20261m 11s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75)
completed successfully:
CodeQL Security Analysis#840:Pull request#165openedbyhyperpolymath
fix/container-ci-version-check-quoting
Jun 1, 20261m 12s
Add sponsor badge
completed successfully:
CodeQL Security Analysis#839:Commit78a65dcpushedbyhyperpolymath
main
Jun 1, 202635m 17s
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, c…
completed successfully:
CodeQL Security Analysis#838:Commita2aeb6apushedbyhyperpolymath
main
May 30, 202612h 44m 37s
ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent (#…
cancelled:
CodeQL Security Analysis#837:Commit20bb6bapushedbyhyperpolymath
main
May 30, 20266s
ci(wave3): stub-sentinel detection step in tier3-container matrix (#157)
cancelled:
CodeQL Security Analysis#836:Commite86d156pushedbyhyperpolymath
main
May 30, 20265s
chore(wave3): bump Poly/ML 5.9.1→5.9.2, OR-Tools 9.12→9.15, ACL2 8.6→…
cancelled:
CodeQL Security Analysis#835:Commitfa55844pushedbyhyperpolymath
main
May 30, 20265s
feat(deno): migrate echidna-playground npm -> Deno (standards#253) (#…
cancelled:
CodeQL Security Analysis#834:Commit207a602pushedbyhyperpolymath
main
May 30, 20264s
feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, closes #159)
completed successfully:
CodeQL Security Analysis#833:Pull request#164openedbyhyperpolymath
wave3/158-159-prover-cwd-filename-hooks
May 30, 202612h 43m 48s

Navigation Menu

CodeQL Security Analysis

1582 workflow runs

ci(governance): R5 — hard gate against doc canonical-reference drift …

ci(governance): R5 — hard gate against doc canonical-reference drift

docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence (#170)

docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence

docs: narrative coherence — README/EXPLAINME defer counts to canonica…

feat(abi): close TacticRecord round-trip lemmas (closes #152) (#166)

docs: narrative coherence — README/EXPLAINME defer counts to canonical sources

feat(abi): close TacticRecord round-trip lemmas (closes #152)

fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#…

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces…

CodeQL Security Analysis

feat(abi): close TacticRecord round-trip lemmas (closes #152)

fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75)

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL

fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on mai…

fix(governance): pin tool: just@1.51.0 in mvp-smoke — clear R1 on main

feat(abi): close TacticRecord round-trip lemmas (closes #152)

fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#75)

Add sponsor badge

feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, c…

ci(hypatia-scan): repin orphan reusable SHA — finish #140's intent (#…

ci(wave3): stub-sentinel detection step in tier3-container matrix (#157)

chore(wave3): bump Poly/ML 5.9.1→5.9.2, OR-Tools 9.12→9.15, ACL2 8.6→…

feat(deno): migrate echidna-playground npm -> Deno (standards#253) (#…

feat(chapel): per-prover cwd + filenameOverride hooks (closes #158, closes #159)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1582 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.