Avoid overly long line.
Passed
Robbert Krebbers
created pipeline for commit
9b75ffdf
, finished
For master
13 minutes 40 seconds, queued for 1 seconds