From 3820640373016b63b0aafa734250673533d653fe Mon Sep 17 00:00:00 2001
From: Kevin De Pelseneer <kevin.depelseneer@vib.be>
Date: Wed, 5 Jun 2024 15:00:43 +0200
Subject: [PATCH] Add type checking to workflow

---
 .github/workflows/test-mars.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/test-mars.yml b/.github/workflows/test-mars.yml
index 0f16d39..bbaabff 100644
--- a/.github/workflows/test-mars.yml
+++ b/.github/workflows/test-mars.yml
@@ -42,3 +42,7 @@ jobs:
       - name: Linting
         run: ruff check mars_lib/
         working-directory: ${{ env.working-directory }}
+
+      - name: Type checking
+        run: mypy mars_lib/
+        working-directory: ${{ env.working-directory }}