More pigeonhole.
Passed
Robbert Krebbers
created pipeline for commit
8f3ca334
, finished
Related merge request !373 to merge robbert/pigeon_hole
4 minutes 22 seconds, queued for 3 seconds