diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 9c8228cc7a8c..27b3dccd4eb7 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -174,13 +174,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