presubmit.yml

name: Presubmit

permissions:
  contents: read

# Controls when the action will run.
on:
  push:
  workflow_dispatch:
  pull_request:

# These jobs are potentially parallelizeable
jobs:
  build:
    name: Build spec artifacts
    runs-on: ubuntu-latest
    # Refer to the build container by its SHA instead of the name, to
    # prevent caching problems when updating the image.
    # container: khronosgroup/docker-images:asciidoctor-spec.20240702
    container: khronosgroup/docker-images@sha256:4aab96a03ef292439c9bd0f972adfa29cdf838d0909b1cb4ec2a6d7b2d14a37f

    steps:
      - uses: actions/checkout@v4
        with:
          submodules: recursive
          # If fetch-depth: 0 is not specified, then
          #     git describe --tags --dirty
          # below fails.
          # This could also affect SPECREVISION in the Makefile.
          fetch-depth: 0

      # Ownerships in the working directory are odd.
      # . is owned by UID 1001, while repo files are owned by root.
      # This leads to many odd messages like
      #     fatal: detected dubious ownership in repository at '/__w/OpenCL-Docs/OpenCL-Docs'
      # The 'git config' is a brute-force workaround.
      - name: Git safe directory workaround
        run: |
            git config --global --add safe.directory '*'
            ls -lda . .. .git Makefile

      - 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 (full, single threaded)
        run: |
          python3 makeSpec -clean -spec core QUIET= OUTDIR=out.core/full-nopar -O api c env ext cxx4opencl

      - name: Generate core specs (full, -j)
        run: |
          python3 makeSpec -clean -spec core QUIET= OUTDIR=out.core/full-par -O -j 5 api c env ext cxx4opencl