Merge branch 'main' into draw-trivial

.github/workflows/test-python.yml

@@ -1,15 +1,11 @@
-name: Acceptance Tests
-
-on: [push, workflow_dispatch]
-
+name: Python tests
+on: [push, workflow_dispatch, pull_request]
 jobs:
   build:
-
     runs-on: ubuntu-latest
     strategy:
       matrix:
         python-version: [3.8, 3.9]
-
     steps:
       - uses: actions/checkout@v2
       - name: Set up Python ${{ matrix.python-version }}
@@ -20,6 +16,5 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install antlr4-python3-runtime==4.9.1
-      - name: run all the tests in the python script
-        run: |
-          python3 tests/test_all.py
+      - name: Run all the Python tests
+        run: python3 tests/test_all.py

.gitignore-revs

@@ -0,0 +1,2 @@
+# Format Python according to PEP 8
+a8c73fca0c069ff8c4f4c0cf7e118d95aa6259fe