Skip CI on release branches since this always fails anyway
Passed
Karel van Klink
created pipeline for commit
4b78956e
, finished
Related merge request !316 to merge feature/documentation
9 minutes 58 seconds, queued for 3 seconds