resolve some errors, and fix build-docs.sh
Passed
Karel van Klink
created pipeline for commit
6ce83f8a
, finished
1 related merge request: !36 resolve some errors, and fix build-docs.sh
2 minutes 26 seconds, queued for 5 seconds