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

330 B

Executable File

Raw Blame History

View Raw