From 298bd7492c09431eb10129f4d6a0245a8643b75f Mon Sep 17 00:00:00 2001
From: Rapptz <rapptz@gmail.com>
Date: Sat, 2 Apr 2022 11:47:34 -0400
Subject: [PATCH] Run pyright as part of the CI process

This doesn't do verifytypes yet due to a bug in Pyright
---
 .github/workflows/lint.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index a45b34776..fb4d6ba10 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -41,9 +41,7 @@ jobs:
 
       - name: Run pyright
         run: |
-          # It is OK for the types to not pass at this stage
-          # We are just running it as a quick reference check
-          pyright || echo "Type checking did not pass"
+          pyright
 
       - name: Run black
         if: ${{ always() && steps.install-deps.outcome == 'success' }}