Add github action for pytest

.github/workflows/pytest.yml

@@ -0,0 +1,24 @@
+name: Python Tests
+
+on: [push, pull_request]
+
+jobs:
+  pytest:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: .
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.12'
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+          pip install pytest
+      - name: Test with pytest
+        run: |
+          python -m pytest

.gitignore

@@ -190,4 +190,5 @@ modules.xml
 # End of https://www.gitignore.io/api/pycharm+iml
 
 # Local files
-.envrc
+.envrc
+.antlr

tests/test_expressions_normal.py

@@ -3,7 +3,6 @@
 This test module goal is to test all basic constructions of the language.
 """
 import builtins
-
 import pytest
 
 

tests/test_expressions_strict.py

@@ -3,7 +3,6 @@
 This test module goal is to test all basic constructions of the language.
 """
 import builtins
-
 import pytest