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

Merge branch 'feature/constraints' into 'develop'

Boundary conditions and Constraints

See merge request !71
4 jobs for develop
Status Job ID Name Coverage
  Test
canceled #7945
debian:10 clang-6-libcpp-17

canceled #7944
debian:10 gcc-8-17

canceled #7946
debian:9 gcc-6-14

canceled #7947
ubuntu:18.04 clang-6-17