diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index b4f1182cb0a8f..1dfa183731dd6 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -96,10 +96,14 @@ jobs: npm --prefix extensions/markdown-language-features run test-markdown-editor-package-json - name: Compile & Hygiene - run: npm exec -- npm-run-all2 -lp core-ci hygiene eslint valid-layers-check define-class-fields-check vscode-dts-compile-check tsec-compile-check test-build-scripts + run: npm exec -- npm-run-all2 -lp core-ci hygiene valid-layers-check define-class-fields-check vscode-dts-compile-check tsec-compile-check test-build-scripts env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + # Avoid overlapping ESLint's worker memory with the parallel compilation checks. + - name: ESLint + run: npm run eslint + - name: Check Codex protocol client is in sync run: | git fetch --no-tags --depth=1 origin "$CODEX_SYNC_BASE" || true