From 0ba15bc8b57140bf3aa6e9dcdcbad2623e8827a7 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 | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b77c364e..49c27afa 100644
--- 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/