Update CI
Failed
Karel van Klink
created pipeline for commit
8cecc2f0
, finished
For feature/documentation
16 minutes 0 seconds, queued for 2 seconds