Brian Clozel 8fe21b8ef9 Build Antora docs as part of CI check job ... This commit adds the "antora" task to the check-project script in order to check for documentation failures when pushing to the current branch. The actual documentation is build is performed on the docs-build branch. Closes gh-30528		2023-05-25 20:12:04 +02:00
..
build-pr.sh	…
build-project.sh	…
check-project.sh	Build Antora docs as part of CI check job	2023-05-25 20:12:04 +02:00
common.sh	…
generate-changelog.sh	…
promote-version.sh	Upgrade to oci-build-task 0.10.0 in CI task	2022-05-13 08:55:28 +02:00
stage-version.sh	…