Run mypy in CI

Author: timmens

Diff for: .github/workflows/main.yml

@@ -44,3 +44,8 @@ jobs:
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
+      - name: Run mypy
+        if: runner.os == 'Linux' && matrix.python-version == '3.11'
+        run: |-
+          micromamba activate lcm
+          mypy src