Another try for a minimal case showing the CI problem

KhronosGroup · Jul 9, 2024 · f8068f1 · f8068f1
1 parent 839e5df
commit f8068f1
Showing 1 changed file with 13 additions and 8 deletions.
diff --git a/.github/workflows/presubmit.yml b/.github/workflows/presubmit.yml
@@ -41,20 +41,25 @@ jobs:
 
       - name: List git tag
         run: |
+          echo Git tag:
           git describe --tags --dirty
+          echo Git branch:
+          git symbolic-ref --short HEAD
+          echo Git commit:
+          git log -1 --format="%H"
 
       - name: Validate XML
         run: |
           make -C xml validate
 
       - name: Generate core specs (HTML and PDF)
         run: |
-          python3 makeSpec -clean -spec core OUTDIR=out.core -j 5 -O api c env ext cxx4opencl
+          python3 makeSpec -clean -spec core OUTDIR=out.core QUIET= -j -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
+#      - 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