In order to mitigate against the brute force attacks against Gitlab accounts, we are moving to all edu-ID Logins. We would like to remind you to link your account with your edu-id. Login will be possible only by edu-ID after November 30, 2021. Here you can find the instructions for linking your account.

If you don't have a SWITCH edu-ID, you can create one with this guide here

kind regards

This Server has been upgraded to GitLab release 14.2.6

correct typo

1 job for master in 6 minutes and 36 seconds (queued for 26 minutes and 4 seconds)
Status Job ID Name Coverage
  Doc
passed buildpdf #29847
docker manual

00:06:36