Add missing header to fix compilation on gcc 13.2. #47

	name: Build and test

	on: [push, pull_request]

	jobs:
	build-latest:
	name: Build and test latest
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v1
	with:
	submodules: true
	- name: Bootstrap
	run: \|
	sudo apt-get install python3-setuptools
	- name: mkdir build
	run: mkdir build
	- name: cmake ..
	run: \|
	cd build
	cmake -D SCALOPUS_USE_PYTHON2=off -DCMAKE_BUILD_TYPE=RelWithDebInfo ..
	- name: make
	run: \|
	cd build
	make
	- name: ctest .
	run: \|
	cd build
	ctest -VV .

Provide feedback