From e053517765146d4926ae5a1bfaee516615bcaaa1 Mon Sep 17 00:00:00 2001
From: Kat Huang <kkathuang@gmail.com>
Date: Sat, 6 Jan 2024 18:04:03 -0700
Subject: [PATCH] Add type checking

---
 .gitea/workflows/tests.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitea/workflows/tests.yaml b/.gitea/workflows/tests.yaml
index f92128f..c6b377a 100644
--- a/.gitea/workflows/tests.yaml
+++ b/.gitea/workflows/tests.yaml
@@ -19,3 +19,5 @@ jobs:
         run: nix develop --impure --command bash -c 'export HOME=$PWD; yarn config set link-folder . && yarn install'
       - name: lint
         run: nix develop --impure --command bash -c 'export HOME=$PWD; yarn run lint'
+      - name: typecheck
+        run: nix develop --impure --command bash -c 'export HOME=$PWD; yarn tsc --noEmit'