CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
392eaff0
, finished
Related merge request !348 to merge robbert/bool_decide
4 minutes 20 seconds, queued for 13 seconds