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

Provide feedback