Peter Hutterer b8884770f1 CI: add a separate job for the documentation build ... The pages job is only run once we push to main, so any issues with the documentation build won't be picked up until it's too late. Split those up and build the doc in a separate job, the pages job simply takes the artifacts from that job and publishes them.		2023-10-11 12:25:53 +10:00
..
check-event-values.py	ci: add a check that our event values cannot diverge	2023-06-07 14:36:00 +10:00
ci.template	CI: add a separate job for the documentation build	2023-10-11 12:25:53 +10:00
config.yml	CI: update the commit for the last ABI break	2023-08-31 13:30:36 +10:00
meson-build.sh	CI: add a comment to the meson build helper	2023-05-30 15:18:04 +10:00