From 3e097f43cac8acd12fb69c0b2ac2d99413964f10 Mon Sep 17 00:00:00 2001
From: Marc Cataford <mcat@riseup.net>
Date: Fri, 15 Nov 2024 23:22:32 -0500
Subject: [PATCH] ci: add type checking to ci

---
 .forgejo/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.forgejo/workflows/ci.yml b/.forgejo/workflows/ci.yml
index 11d4935..3b65ecf 100644
--- a/.forgejo/workflows/ci.yml
+++ b/.forgejo/workflows/ci.yml
@@ -13,6 +13,10 @@ jobs:
         run: pipx run pre-commit run check-yaml -a
       - name: Validate shell scripts
         run: pipx run pre-commit run shellcheck -a
+      - name: Check types
+        run: |
+          pipx install .
+          pipx run pre-commit run pyright -a
   export-trace:
     runs-on: runner-latest
     needs: [static-analysis]