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

Add lower case filter to mappings to ensure that mappings are case insensitive.

Add additional whitespace trimmings to make sure that nothing gets through.
1 job for 0.3.2 in 2 minutes and 28 seconds
latest
Status Job ID Name Coverage
  Publish
passed publish #68123
mbr

00:02:28