From 787c562a64fef9e194b3960f7febfd2a6835306e Mon Sep 17 00:00:00 2001 From: Charles Cooper Date: Fri, 8 Mar 2024 06:51:25 -0800 Subject: [PATCH] chore[ci]: merge mypy job into lint (#3840) reduce the number of jobs, since mypy really belongs in the lint job anyways. --- .github/workflows/test.yml | 21 +++------------------ 1 file changed, 3 insertions(+), 18 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 439e4803aa..fee1e7e740 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -35,6 +35,9 @@ jobs: - name: Run isort run: isort --check-only --diff ./vyper ./tests ./setup.py + - name: Run mypy + run: make mypy + docs: runs-on: ubuntu-latest @@ -53,24 +56,6 @@ jobs: - name: Run Tox run: TOXENV=docs tox -r - mypy: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - - name: Set up Python 3.11 - uses: actions/setup-python@v5 - with: - python-version: "3.11" - cache: "pip" - - - name: Install Dependencies - run: pip install .[lint] - - - name: Run mypy - run: make mypy - # "Regular"/core tests. tests: runs-on: ubuntu-latest