Add example command for building crdoc in Docker
Passed
Sören Henning
created pipeline for commit
2ca62266
, finished
Related merge request !164 to merge 0.5-docs
5 minutes 43 seconds, queued for 3 seconds