From 77c63c918a950350a53b808bd472856b85ab67a4 Mon Sep 17 00:00:00 2001 From: Hadrien Renaud Date: Tue, 27 Feb 2024 13:45:09 +0000 Subject: [PATCH] [ci] Add optionnal workflow to run make test --- .github/workflows/make-test.yml | 41 +++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 .github/workflows/make-test.yml diff --git a/.github/workflows/make-test.yml b/.github/workflows/make-test.yml new file mode 100644 index 0000000000..8f1462c0d9 --- /dev/null +++ b/.github/workflows/make-test.yml @@ -0,0 +1,41 @@ +name: build & make test + +on: + pull_request: + push: + workflow_dispatch: + schedule: + # Prime the caches every Monday + - cron: 0 1 * * MON + +permissions: read-all + +jobs: + build: + strategy: + fail-fast: false + matrix: + os: + # - macos-latest # Very slow + - ubuntu-latest + # - windows-latest # Unsupported? + ocaml-compiler: + - "4.08.1" + - "5.1" + + runs-on: ${{ matrix.os }} + + steps: + - name: Checkout tree + uses: actions/checkout@v4 + + - name: Set-up OCaml ${{ matrix.ocaml-compiler }} + uses: ocaml/setup-ocaml@v2 + with: + ocaml-compiler: ${{ matrix.ocaml-compiler }} + + - run: opam install . --deps-only --with-test + + - run: opam exec -- make build + + - run: opam exec -- make test