diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1dafdd0819..e6675ec8ca 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -904,7 +904,7 @@ jobs: cd $GITHUB_WORKSPACE JOBS=1 cd build - make -j $JOBS verify + make verify EOF - uses: actions/upload-artifact@v1