yices2/.github/workflows/ci.yml at 7206d47655e0320c9469ab3411975443ab0f7972 · SRI-CSL/yices2 · 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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
name: CI

on:
  push:
    branches:
      - '**'
  pull_request:
    branches:
      - '**'

jobs:
  build-push:
    if: github.event_name == 'push'
    strategy:
      matrix:
        os: [ubuntu-latest]
        mode: [debug, release]
        config-opt: [--enable-mcsat]
        env: [CC=gcc CXX=g++]
        include:
          - os: ubuntu-latest
            mode: gcov
            config-opt: --enable-mcsat
            env: CC=gcc-13 CXX=g++-13
          - os: ubuntu-latest
            mode: debug
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc CXX=g++
          - os: ubuntu-latest
            mode: release
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc CXX=g++
          - os: ubuntu-latest
            mode: gcov
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc-13 CXX=g++-13
    name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }} (push)
    runs-on: ${{ matrix.os }}
    steps:
      - uses: actions/checkout@v4
      - name: Install Dependencies
        uses: ./.github/actions/install-dependencies
      - name: Build
        uses: ./.github/actions/build
        with:
          mode: ${{ matrix.mode }}
          config-opt: ${{ matrix.config-opt }}
          env: ${{ matrix.env }}
      - name: Test
        uses: ./.github/actions/test
        env:
          TIME_LIMIT: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && '120' || '60' }}
          REGRESS_EXCLUDE_FILTER: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && 'iss517.smt2$' || '' }}
        with:
          mode: ${{ matrix.mode }}
      - name: Coverage
        if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat'
        uses: ./.github/actions/coverage
      - name: Coveralls
        if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat'
        uses: coverallsapp/github-action@master
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          path-to-lcov: 'coverage.info'

  build-pr:
    if: github.event_name == 'pull_request'
    strategy:
      matrix:
        os: [ubuntu-latest, macos-latest]
        mode: [debug, release]
        config-opt: [--enable-mcsat, --enable-thread-safety]
        env: [CC=gcc CXX=g++, CC=clang CXX=clang++]
        exclude:
          - os: macos-latest
            env: CC=gcc CXX=g++
        include:
          - os: ubuntu-latest
            mode: gcov
            config-opt: --enable-mcsat
            env: CC=gcc-13 CXX=g++-13
          - os: ubuntu-latest
            mode: debug
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc CXX=g++
          - os: ubuntu-latest
            mode: release
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc CXX=g++
          - os: ubuntu-latest
            mode: gcov
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=gcc-13 CXX=g++-13
          - os: macos-latest
            mode: debug
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=clang CXX=clang++
          - os: macos-latest
            mode: release
            config-opt: --enable-thread-safety --enable-mcsat
            env: CC=clang CXX=clang++
    name: ${{ matrix.os }}|${{ matrix.mode }}|${{ matrix.config-opt }}|${{ matrix.env }} (pr)
    runs-on: ${{ matrix.os }}
    steps:
      - uses: actions/checkout@v4
      - name: Install Dependencies
        uses: ./.github/actions/install-dependencies
      - name: Build
        uses: ./.github/actions/build
        with:
          mode: ${{ matrix.mode }}
          config-opt: ${{ matrix.config-opt }}
          env: ${{ matrix.env }}
      - name: Test
        uses: ./.github/actions/test
        env:
          TIME_LIMIT: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && '120' || '60' }}
          REGRESS_EXCLUDE_FILTER: ${{ matrix.mode == 'gcov' && contains(matrix.config-opt, '--enable-thread-safety') && contains(matrix.config-opt, '--enable-mcsat') && 'iss517.smt2$' || '' }}
        with:
          mode: ${{ matrix.mode }}
      - name: Coverage
        if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat'
        uses: ./.github/actions/coverage
      - name: Coveralls
        if: matrix.mode == 'gcov' && matrix.config-opt == '--enable-mcsat'
        uses: coverallsapp/github-action@master
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          path-to-lcov: 'coverage.info'