Merge branch 'prettier' into 'master'
Passed
Reiter, Christoph
created pipeline for commit 23a88aa1
, finished
For master
4 minutes 29 seconds, queued for 3 seconds
On July, 16th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates).