Add type checker to GA

dodona-edu · Aug 7, 2023 · 0ba15bc · 0ba15bc
1 parent e4cf4e3
commit 0ba15bc
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,3 +54,18 @@ jobs:
         with:
           version: "~= 23.0"
           src: "./tested ./tests"
+  types:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-python@v4
+        with:
+          python-version: 3.11.2
+          cache: 'pipenv'
+      - run: pip install pipenv
+      - run: pipenv install --dev
+      - uses: jakebailey/pyright-action@v1
+        with:
+          version: '1.1.316'
+          warnings: true
+          working-directory: tested/