Liebe GitLab-Nutzerin, lieber GitLab-Nutzer,

am kommenden Sonnabend, den 24.08.2019, finden in der Zeit von 8:00 bis 17:00 Uhr Wartungsarbeiten am GitLab-Server statt. In diesem Zeitraum steht Ihnen der Gitlab-Dienst nicht zur Verfügung. Wir bitten Sie dafür um Verständnis.

Die Administratoren

Dear GitLab-User,

the GitLab server will be maintained next Saturday, 24.8.2019, from 8am to 5pm. The GitLab service will be not available in that time. We apologise for any inconvenience caused.

The administrators

Merge branch 'release/v1.2' into 'master'

Release/v1.2

See merge request !28
12 jobs for master in 48 minutes and 56 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #8126
build:9-debug-gcc

00:17:51

passed #8128
build:9-parallel-debug-gcc

00:30:53

passed #8129
build:9-parallel-release-gcc

00:31:57

passed #8127
build:9-release-gcc

00:19:34

 
  Demo
passed #8130
demo:9-debug-gcc

00:03:26

passed #8132
demo:9-parallel-debug-gcc

00:04:42

passed #8133
demo:9-parallel-release-gcc

00:04:25

passed #8131
demo:9-release-gcc

00:03:18

 
  Test
passed #8134
test:9-debug-gcc

00:05:41

passed #8136
test:9-parallel-debug-gcc

00:04:48

passed #8137
test:9-parallel-release-gcc

00:05:52

passed #8135
test:9-release-gcc

00:06:35