minor updates

.github/workflows/presubmit.yml

@@ -7,6 +7,7 @@ on: [push, pull_request]
 
 jobs:
  build:
+ name: Build all specs
  runs-on: ubuntu-latest
 
  steps:
@@ -30,17 +31,17 @@ 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: |
  make extensionshtml
 
  - name: Generate reference pages
  run: |
- make -O -j 5 manhtmlpages
+ make -O -j manhtmlpages
 
  - name: Validate XML
  run: |