Skip to content

simplify the CI setup

Björn Brandenburg requested to merge wip-ci-setup into master

We've had problems with spurious CI failures and unexpected recompilation of .vo files. Somehow the collection of .vo files in the build stage for reuse in the processing stage is not working properly. This MR simplifies the CI setup to compile, build the documentation, and validate all in one job.

Merge request reports