Add tests to CI

Author: utensil

.github/workflows/ci.yml

@@ -1,7 +1,7 @@
 name: ginac-lean-workflow
 
 on:
-  # Triggers the workflow on push or pull request events but only for the "master" branch
+  # Triggers the workflow on push or pull request events but only for the "main" branch
   push:
     branches: [ "main" ]
   pull_request:

.github/workflows/codegen.yml

@@ -0,0 +1,35 @@
+name: ginac-lean-codegen
+
+on:
+  # Triggers the workflow on push or pull request events but only for the "main" branch
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+jobs:
+  codegen:
+    name: ginac-lean-codegen
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest] # , macos-latest] # , windows-latest]
+      fail-fast: false
+    steps:
+      - uses: actions/checkout@v3
+      - name: Setup Python
+        uses: actions/[email protected]
+        with:
+          python-version: 3.11
+      - name: package install
+        run: |
+          pip install -r codegen/requirements.txt -r codegen/requirements-dev.txt -r codegen/requirements-tests.txt
+      - name: run pre-commit
+        run: |
+          pre-commit run --all-files
+      - name: run codegen tests
+        run: |
+          pytest codegen/tests

.pre-commit-config.yaml

@@ -7,10 +7,17 @@ repos:
     hooks:
     -   id: check-yaml
     -   id: end-of-file-fixer
-        exclude: ^scripts/.*patch$
+        exclude: |
+            (?x)^(
+            scripts/.*patch |
+            codegen/templates/.*
+            )$
     -   id: trailing-whitespace
-        exclude: ^scripts/.*patch$
-
+        exclude: |
+            (?x)^(
+            scripts/.*patch |
+            codegen/templates/.*
+            )$
 -   repo: https://github.com/psf/black
     rev: 23.3.0
     hooks:

codegen/templates/lean/base.lean.j2

@@ -7,3 +7,4 @@ namespace {{namespace}}
 {% block content %}{% endblock %}
 
 end {{namespace}}
+