HyperLTL trace error - fix 2127914 #807

	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-24.04

	steps:
	- uses: actions/checkout@v7.0.1

	- name: Install dependencies
	run: \|
	GCC_VERSION=$(sed -nE 's/^set$DEFAULT_GCC_VERSION ([0-9]+)$$/\1/p' CMakeLists.txt)
	[[ $GCC_VERSION =~ ^[0-9]+$ ]]
	sudo add-apt-repository --yes ppa:ubuntu-toolchain-r/test
	sudo apt update
	sudo apt install -f flex bison libboost-all-dev ninja-build "gcc-${GCC_VERSION}" "g++-${GCC_VERSION}"

	- name: Build Release
	run: cmake --workflow release

	- name: Test
	run: cmake --workflow test

	- name: Upload artifacts
	uses: actions/upload-artifact@v7.0.1
	with:
	name: verifypn-linux64
	path: '${{github.workspace}}/build-release/verifypn/bin/verifypn-linux64'

Navigation Menu