Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at https://doku.lrz.de/display/PUBLIC/GitLab and make sure that your projects conform to the requirements.

Update cabal file for merge

1 job for update-sbv in 8 minutes and 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #806111
Build

00:08:31