Skip to content

Merge pull request #29 from DEIS-Tools/cache_canonical_empty_status #110

Merge pull request #29 from DEIS-Tools/cache_canonical_empty_status

Merge pull request #29 from DEIS-Tools/cache_canonical_empty_status #110

name: Build Linux
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
workflow_dispatch:
concurrency:
group: build-Linux-Clang-${{ github.head_ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install Packages
run: |
sudo apt-get update
sudo apt-get install clang
- name: Prebuild
run: |
mkdir -p build
cd build
CC=clang CXX=clang++ cmake ../ -DCMAKE_BUILD_TYPE=Prebuild -DPARDIBAAL_BuildTests=ON ..
make
- name: Build
run: |
mkdir -p build
cd build
CC=clang CXX=clang++ cmake ../ -DCMAKE_BUILD_TYPE=Debug -DPARDIBAAL_BuildTests=ON ..
make
- name: Test
run: |
cd build
make test