rework CI a tiny bit

This commit is contained in:
Simon Cruanes 2024-05-13 21:00:30 -04:00
parent 0b0dd83423
commit 4ff604015c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -9,6 +9,7 @@ on:
jobs: jobs:
run: run:
name: build name: build
timeout-minutes: 15
strategy: strategy:
fail-fast: true fail-fast: true
matrix: matrix:
@ -48,3 +49,23 @@ jobs:
- run: opam exec -- dune runtest -j 1 -p containers # test only core on non-ubuntu platform - run: opam exec -- dune runtest -j 1 -p containers # test only core on non-ubuntu platform
if: ${{ matrix.os != 'ubuntu-latest' }} if: ${{ matrix.os != 'ubuntu-latest' }}
format:
name: format
strategy:
matrix:
ocaml-compiler:
- '5.1'
runs-on: 'ubuntu-latest'
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
allow-prerelease-opam: true
- run: opam install ocamlformat.0.24.1
- run: opam exec -- make format-check