pgc works for the simple example #432

	name: Test

	on: [push]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref_name }}
	cancel-in-progress: true

	env:
	PYTHON_VERSION: '3.11'
	POETRY_VERSION: '1.8.3'

	jobs:
	test:
	runs-on: ubuntu-22.04
	container:
	image: movesrwth/stormpy:ci-debug
	steps:
	- uses: actions/checkout@v4

	- name: Install dependencies
	run: \|
	apt-get update
	apt-get -y install curl
	apt-get -y install git

	- name: Configure Python
	uses: actions/setup-python@v5
	with:
	python-version: ${{ env.PYTHON_VERSION }}

	- name: Install Poetry
	uses: snok/install-poetry@v1
	with:
	version: ${{ env.POETRY_VERSION }}
	virtualenvs-create: true
	virtualenvs-in-project: true

	- name: Load existing venv
	run: poetry env use /opt/venv/bin/python

	- name: Install dependencies
	run: poetry install

	- name: Run tests
	run: poetry run pytest -vv

	- name: List kernels
	run: poetry run jupyter kernelspec list

	- name: Glob notebooks in docs folder
	uses: tj-actions/glob@v22
	id: glob
	with:
	files: \|
	docs/*/.ipynb

	# - name: Run documentation notebooks
	# run: \|
	# poetry run jupyter nbconvert --execute --to notebook --inplace ${{ steps.glob.outputs.paths }}

Provide feedback