Remove typechecking because we would need to install Catala on this C…

…I machine...
CatalaLang · Jan 28, 2025 · b1b1c2f · b1b1c2f
1 parent 037fc56
commit b1b1c2f
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml
@@ -43,8 +43,6 @@ jobs:
         uses: actions/configure-pages@v5
       - name: Build with mdBook
         run: mdbook build
-      - name: Typecheck Catala examples
-        run: make -C examples typecheck
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with: