From d1af13a9ddbb78e75e82ae29b0975dfd2c6cde4e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 10 Jan 2024 12:45:52 -0500 Subject: [PATCH] faster CI --- .github/workflows/main.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8f0a6d5..3dca88c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,13 +16,15 @@ jobs: #- macos-latest ocaml-compiler: - 4.08.x - - 4.12.x + - 4.14.x + # TODO: - 5.1.x # https://github.com/ocaml/setup-ocaml/issues/733 runs-on: ${{ matrix.os }} steps: - uses: actions/checkout@v2 - uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} + allow-prerelease-opam: true - run: opam pin -n . - run: opam depext -yt iter - run: opam install -t . --deps-only