cil/.github/workflows/tests.yml at abe64c5705d939b34bf08a186661fce4efcbda53 · goblint/cil · GitHub

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
name: build and run tests
# https://github.com/avsm/setup-ocaml

on:
  - push
  - pull_request
  - workflow_dispatch

jobs:
  tests:
    strategy:
      fail-fast: false
      matrix:
        # We don't want a full matrix because it is too slow, so we only have linear axes overriding these below.
        include:
          # Common configuration
          - os: ubuntu-24.04
            ocaml-compiler: 4.14.x

          # OCaml versions
          - os: ubuntu-24.04
            ocaml-compiler: 5.4.x
          - os: ubuntu-24.04
            ocaml-compiler: 5.3.x
          - os: ubuntu-24.04
            ocaml-compiler: 5.2.x
          - os: ubuntu-24.04
            ocaml-compiler: 5.1.x
          - os: ubuntu-24.04
            ocaml-compiler: 5.0.x
          - os: ubuntu-24.04
            ocaml-compiler: 4.13.x
          - os: ubuntu-24.04
            ocaml-compiler: 4.12.x

          # OS-s
          - os: ubuntu-22.04
            ocaml-compiler: 4.14.x
          - os: macos-26
            ocaml-compiler: 4.14.x
          - os: macos-15-intel
            ocaml-compiler: 4.14.x
          - os: macos-15
            ocaml-compiler: 4.14.x
          - os: macos-14
            ocaml-compiler: 4.14.x

    runs-on: ${{ matrix.os }}

    steps:
      - name: Checkout code
        uses: actions/checkout@v2

      - name: Setup OCaml ${{ matrix.ocaml-compiler }}
        uses: ocaml/setup-ocaml@v3
        with:
          ocaml-compiler: ${{ matrix.ocaml-compiler }}

      - run: opam pin add goblint-cil.dev . --no-action
      - run: opam depext goblint-cil --yes
      - run: opam depext goblint-cil --yes --with-test
      - run: opam install . --deps-only --with-test
      - run: opam exec -- dune build
      - run: opam exec -- dune runtest

      - name: Upload test log
        uses: actions/upload-artifact@v4
        if: failure()
        with:
          name: ${{ matrix.os }}-${{ matrix.ocaml-compiler }}
          path: _build/default/test/cil.log