Bump actions/setup-python from 4 to 5 (#141) #338

	name: C++

	on:
	pull_request:
	push:
	branches:
	- main
	workflow_dispatch:

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	defaults:
	run:
	shell: bash

	env:
	CMAKE_BUILD_PARALLEL_LEVEL: 3
	Z3_VERSION: 4.11.2

	jobs:
	cpp-tests:
	name: Tests ${{ matrix.config.os }}
	runs-on: ${{ matrix.config.os }}
	strategy:
	fail-fast: false
	matrix:
	config:
	- { os: ubuntu-latest, test-dir: build/test, toolchain: "" }
	- { os: macos-latest, test-dir: build/test, toolchain: "" }
	- {
	os: windows-latest,
	test-dir: build\test\Release,
	toolchain: "-T ClangCl",
	}
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Install Z3
	uses: cda-tum/setup-z3@v1
	with:
	version: ${{ env.Z3_VERSION }}
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- name: Configure CMake
	run: cmake -S . -B build -DCMAKE_BUILD_TYPE=Release -DBUILD_QUSAT_TESTS=ON ${{ matrix.config.toolchain }}
	- name: Build
	run: cmake --build build --config Release
	- name: Test
	working-directory: ${{ matrix.config.test-dir }}
	run: ctest -C Release --output-on-failure
	- if: runner.os == 'Linux'
	name: Coverage
	run: \|
	cmake -S . -B buildCov -DCMAKE_BUILD_TYPE=Debug -DBUILD_QUSAT_TESTS=ON -DENABLE_COVERAGE=ON
	cmake --build buildCov --config Debug
	cd buildCov/test
	ctest -C Debug --output-on-failure
	- if: runner.os == 'Linux'
	name: Upload coverage to Codecov
	uses: codecov/[email protected]
	with:
	fail_ci_if_error: true
	flags: cpp
	gcov: true
	gcov_ignore: "extern/*/"
	token: ${{ secrets.CODECOV_TOKEN }}

Provide feedback