fix CI pipeline
Passed
Karel van Klink
created pipeline for commit
adb97365
, finished
1 related merge request: !38 Update documentation
2 minutes 8 seconds, queued for 4 seconds