Merge branch 'observer-test' into 'master'
Passed
Neuber, Eugen Ramon
created pipeline for commit 8ca77351
, finished
For master
3 minutes 57 seconds, queued for 3 seconds
On July, 31th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates).