-
Notifications
You must be signed in to change notification settings - Fork 17
42 lines (38 loc) · 1.1 KB
/
build-and-test.yml
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
name: Build and test TChecker
on:
push:
branches:
- '*'
env:
CATCH2_REPO_URL : https://github.com/catchorg/Catch2.git
CATCH2_BRANCH : v3.2.0
TCHECKER_BUILD_TYPE : Debug
BUILD_TYPE : Debug
NB_CPUS : 2
CATCH2_DIRECTORY : ${{ github.workspace }}/tmp/Catch2
INSTALL_DIR : ${{ github.workspace }}/tmp/install
jobs:
build-and-test:
strategy:
matrix:
os: [ubuntu-latest, macos-latest]
intsize: [int16, int32, int64]
cxx: [g++, clang++]
name: ${{ matrix.os }} / ${{ matrix.intsize }} / ${{ matrix.cxx }}
runs-on: ${{ matrix.os }}
env:
CONFNAME: all:${{ matrix.intsize }}:memcheck
CXX: ${{ matrix.cxx }}
steps:
- name: Getting project repo
uses: actions/checkout@v3
- if: ${{ matrix.os == 'macos-latest' }}
run: echo "/usr/local/opt/bison/bin" >> $GITHUB_PATH
- name: Install pre-requesites
run: |
ci-scripts/install-$RUNNER_OS.sh
ci-scripts/show-config.sh
- name: Build TChecker
run: ci-scripts/build.sh
- name: Testing TChecker
run: ci-scripts/test.sh