diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index d51bb59afbc9..b1442a1a3193 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -173,13 +173,13 @@ jobs: run: git -c "http.https://github.com/.extraheader=" fetch --recurse-submodules=no "https://github.com/lampepfl/dotty" && git reset --hard FETCH_HEAD || true - name: Checkout cleanup script - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Cleanup run: .github/workflows/cleanup.sh - name: Git Checkout - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Add SBT proxy repositories run: cp -vf .github/workflows/repositories /root/.sbt/ ; true