main.yml

on:
  pull_request:

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        ocaml-version: [5.2.0, 5.1.1, 5.0.0, 4.14.1, 4.13.1] # does not compile with: 4.12.1, 4.11.2, 4.10.2, 4.09.1, 4.08.1
        ocaml-format-version: [0.26.2] # 0.24.1 incompatible with ocaml 5.2.0
    runs-on: ubuntu-latest
    steps:
      - name: checking out dedukti repo...
        uses: actions/checkout@v4
      - name: setting up opam...
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: ${{ matrix.ocaml-version }}
          dune-cache: true
      - name: installing dependencies...
        run: |
          opam update
          opam upgrade
          opam install . --deps-only -t
          opam install ocamlformat.${{ matrix.ocaml-format-version }}
      - name: Checking formatting...
        run: |
          eval $(opam env)
          make fmt
      - name: Check universo compiles...
        run: |
          eval $(opam env)
          make universo
      - name: running Tezt tests...
        run: |
          tests/check_test_list.py
          eval $(opam env)
          make tezt
      - name: running light libraries...
        if: github.event_name != 'schedule'
        run: |
          eval $(opam env)
          make light_tests