Skip to content

Update GitHub Actions workflow #816

Update GitHub Actions workflow

Update GitHub Actions workflow #816

Workflow file for this run

name: Main workflow
on:
pull_request:
push:
schedule:
# Prime the caches every Monday
- cron: 0 1 * * MON
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
ocaml-compiler:
- "4.13"
- "4.14"
- "5.0"
- "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 }}
allow-prerelease-opam: true
opam-depext: false
opam-pin: false
- name: Re-install OpenSSL on macOS
if: runner.os == 'macOS'
run: brew update && brew reinstall openssl@3
- run: opam install . --deps-only
- run: opam exec -- make all