Liebe Gitlab-Nutzerin, lieber Gitlab-Nutzer,
es ist nun möglich sich mittels des ZIH-Logins/LDAP an unserem Dienst anzumelden. Die Konten der externen Nutzer:innen sind ü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. The accounts of external users can be accessed via the "Standard" tab.
The administrators

some simple cleanup of the type_traits

4 jobs for issue/cleanup_type_traits in 47 minutes and 2 seconds
Status Job ID Name Coverage
  Test
passed #22283
dune-2.6

00:25:56

passed #22284
dune-2.7

00:31:38

passed #22285
dune-git

00:31:17

passed #22286
dune-git-full

00:39:45