diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a5e92521e..0fb5cc31a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,9 +12,9 @@ jobs: runs-on: ubuntu-latest steps: - name: checking out lambdapi repo ... - uses: actions/checkout@v2 + uses: actions/checkout@v4 - name: recovering cached opam files ... - uses: actions/cache@v2 + uses: actions/cache@v4 with: path: ~/.opam key: ${{ runner.os }}-ocaml-${{ matrix.ocaml-version }}