From 9f4fe1c2befced9d75cc56641d0b724294efd444 Mon Sep 17 00:00:00 2001
From: Guilherme Vieira <guilherme_vieira@me.com>
Date: Sat, 27 Jan 2024 14:42:13 -0300
Subject: [PATCH] Github step

---
 .github/workflows/type-checker.yml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 .github/workflows/type-checker.yml

diff --git a/.github/workflows/type-checker.yml b/.github/workflows/type-checker.yml
new file mode 100644
index 0000000000..2eba0bc2ec
--- /dev/null
+++ b/.github/workflows/type-checker.yml
@@ -0,0 +1,30 @@
+
+name: Run Type Checks
+
+on: [push, pull_request]
+
+permissions:
+  contents: write
+
+jobs:
+  type-checker:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Setup Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+
+      - name: Install Requirements
+        run: |
+          sudo apt-get update &&
+          pip install poetry &&
+          poetry lock &&
+          poetry install
+
+      - name: Run tests
+        run: poetry run pyright