Do not declare tests as Instances.
Passed
Robbert Krebbers
created pipeline for commit
c63e3678
, finished
For master
8 minutes 38 seconds, queued for 2 seconds