Commit Graph

4 Commits

Author SHA1 Message Date
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