Re-enable documentation
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.
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.