Skip to content

Re-enable documentation

Dorothea Vom Bruch requested to merge dovombru_reenable_documentation into master

The pages job got lost during a recent rebase before merging !655 (merged). This MR adds it back.

It also disables the docker build stage of Allen's CI pipeline, which has been failing for several weeks.

Merge request reports