diff options
| author | Scott Shawcroft <scott@adafruit.com> | 2020-11-02 18:16:32 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-02 18:16:32 -0800 |
| commit | 9bf77905e34b90e4a14f8f7984da441decc47904 (patch) | |
| tree | 8417ae7e330f189c75d551eff541beb85f23d934 /.github/workflows | |
| parent | 73582c9cebd347a1bec63bd11e8018d3301810de (diff) | |
| parent | 88fcf4ef7e001e547ed94747df5d22b6736c881c (diff) | |
Merge pull request #3622 from sw23/main
Fixing remaining stub mypy issues + run check-stubs to CI
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b6c80558e..404d2ea2e 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,8 +67,8 @@ 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 - run: make stubs -j2 + - name: Build and Validate Stubs + run: make check-stubs -j2 - uses: actions/upload-artifact@v2 with: name: stubs |