diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index c8b5617fc534..c301010d5172 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -213,7 +213,7 @@ jobs: test_windows_fast: - runs-on: [self-hosted, Windows] + runs-on: [self-hosted, Windows, win11] if: "( github.event_name == 'push' && github.ref != 'refs/heads/main' @@ -226,12 +226,6 @@ jobs: )" steps: - - name: Reset existing repo - shell: cmd - run: | - git config --global --add safe.directory $GITHUB_WORKSPACE - git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/scala/scala3" && git reset --hard FETCH_HEAD || true - - name: Git Checkout uses: actions/checkout@v4