diff options
| author | sw23 <sw23@users.noreply.github.com> | 2020-10-30 19:16:26 -0400 |
|---|---|---|
| committer | sw23 <sw23@users.noreply.github.com> | 2020-10-30 19:16:26 -0400 |
| commit | 8e72b68e3de90f87261ce289dd7d3a28815cfd0b (patch) | |
| tree | 1884d84452ac84f2bc116d9395607979e70bf1bd /.github/workflows | |
| parent | 6a63d20a5d2e7184bfc5747b465818fb7eee6b49 (diff) | |
Adding mypy to dep list and clarifying Stubs stage name
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8039883e3..07db88963 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -37,7 +37,7 @@ jobs: run: | sudo apt-get install -y eatmydata sudo eatmydata apt-get install -y gettext librsvg2-bin mingw-w64 latexmk texlive-fonts-recommended texlive-latex-recommended texlive-latex-extra - pip install requests sh click setuptools cpp-coveralls "Sphinx<4" sphinx-rtd-theme recommonmark sphinx-autoapi sphinxcontrib-svg2pdfconverter polib pyyaml astroid isort black awscli + pip install requests sh click setuptools cpp-coveralls "Sphinx<4" sphinx-rtd-theme recommonmark sphinx-autoapi sphinxcontrib-svg2pdfconverter polib pyyaml astroid isort black awscli mypy - name: Versions run: | gcc --version @@ -67,7 +67,7 @@ jobs: - name: mpy Tests run: MICROPY_CPYTHON3=python3.8 MICROPY_MICROPYTHON=../ports/unix/micropython_coverage ./run-tests -j1 --via-mpy -d basics float working-directory: tests - - name: Stubs + - name: Build and Validate Stubs run: make check-stubs -j2 - uses: actions/upload-artifact@v2 with: |