CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
e0c793be
, finished
Related merge request !281 to merge robbert/setoid
5 minutes 32 seconds, queued for 5 seconds