Skip to content

Move away from the documentation-builder image

Emanuele Aina requested to merge wip/em/get-rid-of-documentation-builder into master

Its purpose is rather dubious nowadays, we should probably drop it.

Merge request reports