Skip to content

pgc state object can now contain arbitrary attributes #439

pgc state object can now contain arbitrary attributes

pgc state object can now contain arbitrary attributes #439

Workflow file for this run

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