diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml index 1879f2f9..49925cab 100644 --- a/.github/workflows/presubmit.yml +++ b/.github/workflows/presubmit.yml @@ -7,6 +7,7 @@ on: [push, pull_request] jobs: build: + name: Build all specs runs-on: ubuntu-latest steps: @@ -30,9 +31,9 @@ jobs: run: | git describe --tags --dirty - - name: Generate all specs + - name: Generate core specs run: | - make -O -j 5 api c env ext cxx4opencl + make -O -j5 api c env ext cxx4opencl - name: Generate extension specs run: | @@ -40,7 +41,7 @@ jobs: - name: Generate reference pages run: | - make -O -j 5 manhtmlpages + make -O -j manhtmlpages - name: Validate XML run: |