Publishing the documentation
The following discussion from !8 (merged) should be addressed:
-
@willi-rath started a discussion: (+1 comment) This is good for now. To speed things up, I'd argue for adding the package installations to the (or another) docker image and only run the make calls here.
Edited by Ezra Eisbrenner