[Res] check trait conformance in `canUnify()` #717

	name: Pipeline

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]
	workflow_dispatch:

	env:
	BUILD_TYPE: Coverage

	jobs:
	build:
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v4

	- name: Install LLVM 20
	run: \|
	wget https://apt.llvm.org/llvm.sh
	chmod +x llvm.sh
	sudo ./llvm.sh 20

	- name: Configure CMake
	run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DCMAKE_POLICY_VERSION_MINIMUM=3.5

	- name: Build
	run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}

	- name: Test
	working-directory: ${{github.workspace}}/build
	# upgrade pip as a workaround for https://github.com/actions/runner-images/issues/11611
	run: \|
	sudo apt install valgrind
	valgrind --version
	pip install --upgrade pip
	pip install -r ${{github.workspace}}/test/requirements.txt
	cmake --build . -t check

	- name: Upload coverage reports to Codecov
	uses: codecov/codecov-action@v4.0.1
	with:
	token: ${{ secrets.CODECOV_TOKEN }}

Navigation Menu