forked from herd/herdtools7
-
Notifications
You must be signed in to change notification settings - Fork 0
34 lines (28 loc) · 925 Bytes
/
Copy pathcheck-opam-minimals.yml
File metadata and controls
34 lines (28 loc) · 925 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
name: Test build with mininal versions
on:
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:
strategy:
fail-fast: false
matrix:
ocaml-compiler:
- "4.08.1"
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