From 428abc823ed500eb22b6a40c2667e862cb701ced Mon Sep 17 00:00:00 2001
From: RobinGeens <robin.geens@kuleuven.be>
Date: Mon, 29 Jul 2024 13:48:08 +0200
Subject: [PATCH] add pyright action

---
 .github/workflows/pylint.yml  |  2 +-
 .github/workflows/pyright.yml | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/pyright.yml

diff --git a/.github/workflows/pylint.yml b/.github/workflows/pylint.yml
index f8cfb110..2214775d 100644
--- a/.github/workflows/pylint.yml
+++ b/.github/workflows/pylint.yml
@@ -3,7 +3,7 @@ name: Pylint
 on: [push]
 
 jobs:
-  build:
+  lint:
     runs-on: ubuntu-latest
     strategy:
       matrix:
diff --git a/.github/workflows/pyright.yml b/.github/workflows/pyright.yml
new file mode 100644
index 00000000..04559e25
--- /dev/null
+++ b/.github/workflows/pyright.yml
@@ -0,0 +1,21 @@
+name: Type Check with Pyright
+
+on: [push]
+jobs:
+  type-check:
+    runs-on: ubuntu-latest
+    strategy:
+        matrix:
+          python-version: ["3.11"]
+    steps:
+        - uses: actions/checkout@v4
+        - name: Set up Python
+          uses: actions/setup-python@v5
+          with:
+            python-version: ${{ matrix.python-version }}
+        - name: Install the package locally
+          run:
+            pip install -r requirements.txt
+        - name: Pyright
+          uses: jakebailey/pyright-action@v2
+