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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
# Run the multicoretests testsuite if PR is labelled with run-multicoretests
name: Run multicoretests testsuite
on:
pull_request:
types: [opened, synchronize, reopened, labeled, unlabeled]
# Restrict the GITHUB_TOKEN
permissions: {}
# See build.yml
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name == 'pull_request' || github.sha }}
cancel-in-progress: true
jobs:
multicoretests:
if: contains(github.event.pull_request.labels.*.name, 'run-multicoretests')
runs-on: 'ubuntu-latest'
strategy:
matrix:
include:
- profile: dev
ocamlrunparam: b
- profile: debug-runtime
ocamlrunparam: b,s=4096
steps:
- name: Checkout OCaml
uses: actions/checkout@v4
with:
path: ocaml
persist-credentials: false
- name: Configure, build and install OCaml
run: |
bash -xe ocaml/tools/ci/actions/multicoretests.sh ocaml
- name: Checkout multicoretests
uses: actions/checkout@v4
with:
repository: ocaml-multicore/multicoretests
ref: 0.8
path: multicoretests
persist-credentials: false
- name: Checkout QCheck
uses: actions/checkout@v4
with:
repository: c-cube/qcheck
ref: v0.25
path: multicoretests/qcheck
persist-credentials: false
- name: Checkout dune
uses: actions/checkout@v4
with:
repository: ocaml/dune
ref: 3.18.0
path: dune
persist-credentials: false
- name: Build and install dune
run: |
bash -xe ocaml/tools/ci/actions/multicoretests.sh dune
- name: Show the configuration
run: |
bash ocaml/tools/ci/actions/multicoretests.sh show_config
- name: Build the test suite
env:
DUNE_PROFILE: ${{ matrix.profile }}
OCAMLRUNPARAM: ${{ matrix.ocamlrunparam }}
run: |
bash -xe ocaml/tools/ci/actions/multicoretests.sh build
- name: Run the multicore test suite
env:
DUNE_PROFILE: ${{ matrix.profile }}
OCAMLRUNPARAM: ${{ matrix.ocamlrunparam }}
run: |
bash -xe ocaml/tools/ci/actions/multicoretests.sh testsuite
|
