Skip to content

in state deletion method we now loop through sorted dictionary + begi… #274

in state deletion method we now loop through sorted dictionary + begi…

in state deletion method we now loop through sorted dictionary + begi… #274

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