7 Commits

Author SHA1 Message Date
Vissarion Fisikopoulos
09bc2be6b6 [ci] Simplify the documentation CI 2024-09-27 12:19:14 +03:00
Arun
b08c580a0b Quote envvar to match documentation 2024-01-22 16:48:27 -08:00
Arun
a8827ea3b3 ci: Use GITHUB_OUTPUT envvar instead of set-output command 2023-12-30 11:53:44 -08:00
Adam Wulkiewicz
4305bc8a73 [ci] Replace set-env with env. file in GitHub scripts. 2020-11-18 17:12:33 +01:00
Mateusz Łoskot
ce7d128b63 Rename GitHub Actions workflows to URL-friendly 2020-03-10 01:05:24 +01:00
Mateusz Łoskot
bbbf1b0f7a [GA] Run depinst.py for quickbook to ensure its deps are deployed 2020-03-05 14:01:59 +01:00
Mateusz Łoskot
9967601a1e Add GitHub Actions workflow for documentation build
On push, build master and develop.
On pull request, build if any of documentation related files are touched.

Prior to the documentation build, all doc/src/examples are built to
verify valid source code is displayed in the docs.
2020-03-05 11:07:35 +01:00