Simplify and unparallelize CI to test the 'fatal: erf HEAD is not a s…

…ymbolic ref' messages seen in parent branch
KhronosGroup · Jul 9, 2024 · 5ea7c12 · 5ea7c12
1 parent 839e5df
commit 5ea7c12
Showing 1 changed file with 2 additions and 10 deletions.
diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml
@@ -47,14 +47,6 @@ jobs:
  run: |
  make -C xml validate
 
- - name: Generate core specs (HTML and PDF)
+ - name: Generate core specs (HTML only, for testing)
  run: |
- python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 -O api c env ext cxx4opencl
-
- - name: Generate core + extension specs (HTML)
- run: |
- python3 makeSpec -clean -spec khr OUTDIR=out.khr -j -O html
-
- - name: Generate reference pages
- run: |
- python3 makeSpec -spec khr OUTDIR=out.refpages -j -O manhtmlpages
+ python3 makeSpec -clean -spec core QUIET= OUTDIR=out.core -O html