File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 5252 env :
5353 # The dedicated perf-build job owns build timing. Running it again
5454 # after coverage/UI gates produces noisy runner-load failures.
55- VERIFY_SKIP_REGEX : ${{ github.event_name == 'push' && '^(pnpm git:guard:all|pnpm perf:build|node scripts/perf/compare-metric\\ .mjs \\ .perf-baselines/build-time\\ .json .*)$' || '^(pnpm perf:build|node scripts/perf/compare-metric\\ .mjs \\ .perf-baselines/build-time\\ .json .*)$' }}
55+ VERIFY_SKIP_REGEX : ${{ github.event_name == 'push' && '^(pnpm git:guard:all|pnpm perf:build|node scripts/perf/compare-metric.mjs .perf-baselines/build-time.json .*)$' || '^(pnpm perf:build|node scripts/perf/compare-metric.mjs .perf-baselines/build-time.json .*)$' }}
5656 run : bash .codex/scripts/run_verify_commands.sh
5757
5858 - name : Generate coverage report
You can’t perform that action at this time.
0 commit comments