diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aee9efe5..18757d9d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -17,7 +17,7 @@ jobs: LINUX_BOOGIE_URL: "https://github.com/viperproject/boogie-builder/releases/download/7449a7a899c02c95/boogie-linux.zip" steps: - name: Checkout Carbon - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: submodules: true - name: Java Version @@ -40,7 +40,7 @@ jobs: # note that the cache path is relative to the directory in which sbt is invoked. - name: Cache SBT - uses: actions/cache@v5 + uses: actions/cache@v6 with: path: | sbt-cache/.sbtboot diff --git a/.github/workflows/update-submodules.yml b/.github/workflows/update-submodules.yml index e5b4fb1f..5131f558 100644 --- a/.github/workflows/update-submodules.yml +++ b/.github/workflows/update-submodules.yml @@ -17,7 +17,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check out the repo - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: submodules: true