Update CI pipeline
Passed
Karel van Klink
created pipeline for commit
f4b5b85b
, finished
1 related merge request: !24 Update CI pipeline
1 minute 6 seconds, queued for 3 seconds