From 8624a9b0b9a0cdaeac8a7d781db173ff75bc1813 Mon Sep 17 00:00:00 2001 From: Jordi Puig Date: Tue, 10 Sep 2024 12:16:04 +0200 Subject: [PATCH] Update lint pipeline --- .github/workflows/lint.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 6ac5ba3..fb50538 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -24,8 +24,11 @@ jobs: - name: Install dependencies run: pip install -r requirements.txt + - name: Install mypy stubs + run: mypy --install-types + - name: Run mypy run: mypy . - name: Run flake8 - run: flake8 \ No newline at end of file + run: flake8