Test build with mininal versions #145
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Test build with mininal versions | |
| on: | |
| # On a pull request that edits one of the following: | |
| pull_request: | |
| paths: | |
| # This workflow file | |
| - '.github/workflows/check-opam-minimals.yml' | |
| # Definition of herdtools project | |
| - 'herdtools7.opam' | |
| # Definition of aslref.opam | |
| - 'asllib/dune-project' | |
| # On demand | |
| workflow_dispatch: | |
| # Schedule every Tuesday, early in the morning | |
| schedule: | |
| - cron: '0 2 * * 2' | |
| # Copy-pasted from https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout tree | |
| uses: actions/checkout@v4 | |
| - name: Set-up OCaml 4.08 | |
| uses: ocaml/setup-ocaml@v3 | |
| with: | |
| ocaml-compiler: 4.08.1 | |
| - run: | | |
| opam install . --deps-only --with-test --solver=builtin-mccs+glpk --criteria="-new" | |
| opam exec -- make build test install DUNE_PROFILE=dev |