ci.yml

name: CI

on:
  push:
    branches:
      - master
  pull_request:
    branches:
      - "**"

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        os:
          - ubuntu-latest
        ocaml-version:
          - 4.12.0
        coq-version:
          - 8.13.2
          - 8.14.1
          - 8.15.2
          - 8.16.1
          - 8.17.1
          - 8.18.0

    runs-on: ${{ matrix.os }}

    steps:
      - name: Checkout code
        uses: actions/checkout@v2
        with:
          fetch-depth: 2 # for the code coverage tool
          submodules: "true"

      - name: Use OCaml ${{ matrix.ocaml-version }}
        uses: avsm/setup-ocaml@v1
        with:
          ocaml-version: ${{ matrix.ocaml-version }}

      - run: opam install ocamlformat.0.18.0
      - run: opam exec -- make fmt-check
      - run: opam pin add coq ${{ matrix.coq-version }}
      - run: opam pin add coq-of-ocaml.dev . --no-action
      - run: opam depext conf-ruby --yes
      - run: opam install coq-of-ocaml --deps-only
      - run: opam install coq-of-ocaml --verbose
      - run: opam exec -- make coverage
      - run: opam exec -- bisect-ppx-report send-to Codecov