add type check to CI build

EuroPython · Jan 19, 2025 · 51ed4a8 · 51ed4a8
1 parent 06bd133
commit 51ed4a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build_test_and_lint.yml b/.github/workflows/build_test_and_lint.yml
@@ -41,6 +41,7 @@ jobs:
     - name: Run Docker container for lint
       run: |
         docker run --rm intbot make in-container/lint
+        docker run --rm intbot make in-container/type-check
 
     services:
       postgres: