diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml new file mode 100644 index 0000000..d7cfe3f --- /dev/null +++ b/.github/workflows/push.yml @@ -0,0 +1,16 @@ +name: push +run-name: Push workflow +on: [push] +jobs: + strategy: + matrix: + ocaml_compiler: [5.0.0, 5.1.1] + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - run: sudo apt install opam scdoc + - run: opam init -n --bare + - run: make build-deps OCAML_COMPILER="${{ matrix.ocaml_compiler }}" + - run: source $(opam env) + - run: make