summaryrefslogtreecommitdiff
path: root/.github/workflows/main.yml
blob: 19de350da0e08f55b17a8bdf36b9f8fa3a739264 (plain)
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: main

on: [push, pull_request]

jobs:
  build:
    name: ${{ matrix.name }}
    runs-on: ${{ matrix.os }}
    strategy:
      matrix:
        include:
          - name: linux-debug
            os: ubuntu-latest
            env: OCAMLRUNPARAM=v=0,V=1 USE_RUNTIME=d
          - name: linux
            os: ubuntu-latest
          - name: macos
            os: macos-latest
          - name: macos-debug
            os: macos-latest
            env: OCAMLRUNPARAM=v=0,V=1 USE_RUNTIME=d

    steps:
      - name: Checkout
        uses: actions/checkout@v2
      - name: configure tree
        run: |
          MAKE_ARG=-j XARCH=x64 bash -xe tools/ci/actions/runner.sh configure
      - name: Build
        run: |
          MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build
      - name: Run the testsuite
        run: |
          ${{ matrix.env }} bash -xe tools/ci/actions/runner.sh test