-
Notifications
You must be signed in to change notification settings - Fork 112
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
404 changed files
with
32,563 additions
and
34,031 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
version: 2 | ||
updates: | ||
- package-ecosystem: "github-actions" | ||
directory: "/" | ||
schedule: | ||
interval: "monthly" | ||
groups: | ||
github-actions: | ||
patterns: | ||
- "*" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
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: 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 | ||
- 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.