Merge branch 'develop' into feature/json_io

This commit is contained in:
Fabian Joswig 2022-10-31 18:11:59 +00:00 committed by GitHub
commit ae3c78694c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -40,6 +40,7 @@ jobs:
pip install pytest
pip install pytest-cov
pip install pytest-benchmark
pip install py
pip freeze
- name: Run tests