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