diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index f8b6715f..3c929d51 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -13,10 +13,10 @@ jobs: BOOGIE_EXE: "/home/runner/.dotnet/tools/boogie" steps: - uses: actions/checkout@v2 - - name: Set up Python 3.9 + - name: Set up Python 3.10 uses: actions/setup-python@v2 with: - python-version: 3.9 + python-version: 3.10 - name: Install Boogie run: | dotnet tool install --global Boogie --version 2.15.9 @@ -27,4 +27,4 @@ jobs: pip install . - name: Test with pytest run: | - pytest src/nagini_translation/tests.py --silicon --carbon + pytest -p no:faulthandler src/nagini_translation/tests.py --silicon --carbon diff --git a/README.rst b/README.rst index 05fe3926..5cdf65d6 100644 --- a/README.rst +++ b/README.rst @@ -10,7 +10,7 @@ For use with the PyCharm IDE, try the `Nagini PyCharm plugin