Update pipeline names in docs/.gitlab-ci.yml
Passed
Karel van Klink
created pipeline for commit
1b144204
, finished
For development
53 seconds, queued for 3 seconds