Liebe Gitlab-Nutzer, lieber Gitlab-Nutzer, es ist nun möglich sich mittels des ZIH-Logins/LDAP an unserem Dienst anzumelden. Ein Anmelden über dieses erzeugt ein neues Konto. Das alte Konto ist über den Reiter "Standard" erreichbar. Die Administratoren

Dear Gitlab user, it is now possible to log in to our service using the ZIH login/LDAP. Logging in via this will create a new account. The old account can be accessed via the "Standard" tab. The administrators

range-type implementation updated

4 jobs for develop in 27 minutes and 28 seconds (queued for 13 minutes and 55 seconds)
Status Job ID Name Coverage
  Test
passed #6973
debian:10 clang-6-libcpp-17

00:20:36

passed #6972
debian:10 gcc-8-17

00:16:34

passed #6974
debian:9 gcc-6-14

00:13:27

passed #6975
ubuntu:18.04 clang-6-17

00:18:47