From 317592e23d9f6ae9383dafd36d14552e61be8d51 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 27 Nov 2023 13:51:40 +0000 Subject: [PATCH] Bump actions/checkout from 3 to 4 Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/ci.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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