Credit `wf_guard` trick to Georges Gonthier.
Passed
Robbert Krebbers
created pipeline for commit
d8add3c1
, finished
For master
10 minutes 30 seconds, queued for 8 seconds