diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index c25cd155..2606e023 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -18,9 +18,9 @@ jobs: path: ~/.opam key: opam-ubuntu-latest-4.12.0 - - uses: ocaml/setup-ocaml@v2 + - uses: ocaml/setup-ocaml@v3 with: - ocaml-compiler: '4.14' + ocaml-compiler: '5.03' - name: Pin run: opam pin -n . diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index f115a713..685561c8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,9 +16,10 @@ jobs: ocaml-compiler: - 4.08 - 4.14 + - 5.03 runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - uses: ocaml/setup-ocaml@master with: ocaml-compiler: ${{ matrix.ocaml-compiler }} @@ -28,4 +29,4 @@ jobs: - run: opam install -t . --deps-only - run: opam exec -- dune build --ignore-promoted-rules - run: opam exec -- dune runtest --ignore-promoted-rules - if: ${{ matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '4.14.x' }} + if: ${{ matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '5.03' }}