From fdf9ab2310ad9b77b8cc64efef41ceda289957b1 Mon Sep 17 00:00:00 2001
From: Niko Strijbol <strijbol.niko@gmail.com>
Date: Mon, 7 Aug 2023 16:09:33 +0200
Subject: [PATCH] Add type checker to GA

---
 .github/workflows/ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b77c364e..b5f74a49 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -54,3 +54,19 @@ 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
+      - run: echo "$(pipenv --venv)/bin" >> $GITHUB_PATH
+      - uses: jakebailey/pyright-action@v1
+        with:
+          version: '1.1.316'
+          warnings: true
+          working-directory: tested/