DK → SK.
Passed
Robbert Krebbers
created pipeline for commit
28af1927
, finished
Related merge request !382 to merge robbert/preimage
4 minutes 47 seconds, queued for 2 seconds