Comment.
Passed
Robbert Krebbers
created pipeline for commit
cd778dae
, finished
Related merge request !286 to merge robbert/pretty_N_go_stackoverflow
6 minutes 7 seconds, queued for 6 seconds