diff --git a/.github/workflows/compat.yml b/.github/workflows/compat.yml deleted file mode 100644 index fe544ef2..00000000 --- a/.github/workflows/compat.yml +++ /dev/null @@ -1,36 +0,0 @@ -name: compat - -on: - push: - branches: - - master - pull_request: - -jobs: - run: - name: build - strategy: - fail-fast: true - matrix: - os: - - ubuntu-latest - ocaml-compiler: - - '4.03.x' - - '4.06.x' - - '4.07.x' - - '4.08.x' - - '4.14.x' - - '5.0.x' - - 'ocaml-variants.5.0.0+options,ocaml-option-bytecode-only' - - runs-on: ${{ matrix.os }} - steps: - - uses: actions/checkout@main - - name: Use OCaml ${{ matrix.ocaml-compiler }} - uses: ocaml/setup-ocaml@v2 - with: - ocaml-compiler: ${{ matrix.ocaml-compiler }} - dune-cache: true - - - run: opam install containers containers-data containers-thread --deps-only - - run: opam exec -- dune build '@install' diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index e158a9dd..261a48d8 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -15,7 +15,7 @@ jobs: - name: Use OCaml uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: '4.14.x' + ocaml-compiler: '4.14' dune-cache: false - name: Deps diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a5287b84..b40b35bf 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -17,9 +17,9 @@ jobs: - ubuntu-latest #- windows-latest ocaml-compiler: - - '4.03.x' - - '4.14.x' - - '5.0.x' + - '4.08' + - '4.14' + - '5.0' - 'ocaml-variants.5.0.0+options,ocaml-option-bytecode-only' runs-on: ${{ matrix.os }}