deploy.yml

# Thanks Yasu
name: Build and all tests
on:
  push:
    branches:
      - master
  pull_request:
jobs:
  build-and-deploy:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v2
        with:
          persist-credentials: false

      - name: Setup OCaml 4.12.0
        uses: ocaml/setup-ocaml@v2
        with:
          ocaml-compiler: 4.12.0
          opam-depext: false

      - name: Cache
        id: cache-opam
        uses: actions/cache@v3
        env:
          cache-name: cache-opam
        with:
          path: |
            /home/runner/work/proof-repair/proof-repair/_opam/
          key: ${{ runner.os }}-build-${{ env.cache-name }}-${{ hashFiles('**/*.opam') }}

      - name: Opam & Coq
        if: steps.cache-opam.outputs.cache-hit != 'true'
        run: |
           opam repository add default https://github.com/ocaml/opam-repository.git --all-switches --set-default
           opam repository add coq-released https://coq.inria.fr/opam/released --all-switches --set-default

      - name: Install Dune
        if: steps.cache-opam.outputs.cache-hit != 'true'
        run: |
          opam install dune

      - name: Install
        if: steps.cache-opam.outputs.cache-hit != 'true'
        run: |
          opam install . --deps-only

      - name: Build
        run: |
          opam exec -- dune build

      - name: Run unit tests
        run: |
          opam exec -- dune runtest ./tests

      - name: Run integration tests
        run: |
          opam exec -- dune runtest ./benchmarks
        env:
          SIS_DISABLE_Z3: 1