diff options
| author | sw23 <sw23@users.noreply.github.com> | 2020-10-30 18:56:40 -0400 |
|---|---|---|
| committer | sw23 <sw23@users.noreply.github.com> | 2020-10-30 18:56:40 -0400 |
| commit | 6a63d20a5d2e7184bfc5747b465818fb7eee6b49 (patch) | |
| tree | d12719d74e96c35c8e1cc66da1e1507312c93261 /.github/workflows | |
| parent | 09ae9aefa853ae20862eb7dd728e1e3187fc9135 (diff) | |
Fixing remaining stub mypy issues + run check-stubs to CI
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 64d43f4d9..8039883e3 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -68,7 +68,7 @@ jobs: 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 + run: make check-stubs -j2 - uses: actions/upload-artifact@v2 with: name: stubs |