Repository navigation

ci: reduce CodeQL build time - #829

Merged

jbeckwith-oai merged 2 commits into

mainfrom

codex/optimize-codeql-ci

Jul 31, 2026

Merged

ci: reduce CodeQL build time#829
jbeckwith-oai merged 2 commits into
mainfrom
codex/optimize-codeql-ci

Commits on Jul 31, 2026
- ci: reduce CodeQL build time
  jbeckwith-oai
  committed
  44cd3cb
- ci: isolate non-PR CodeQL runs
  jbeckwith-oai
  committed
  1a1d18b