Skip to content

Cache canonical empty status #118

Cache canonical empty status

Cache canonical empty status #118

Workflow file for this run

name: Build Linux
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
workflow_dispatch:
concurrency:
group: build-Linux-${{ 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
- name: Prebuild
run: |
mkdir -p build
cd build
CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Prebuild -DPARDIBAAL_BuildTests=ON ..
make
- name: Build
run: |
mkdir -p build
cd build
CC=gcc-10 CXX=g++-10 cmake ../ -DCMAKE_BUILD_TYPE=Debug -DPARDIBAAL_BuildTests=ON ..
make
- name: Test
run: |
cd build
make test