You need to sign in or sign up before continuing.
Add test.
Passed
Robbert Krebbers
created pipeline for commit
61284d21
, finished
Related merge request !434 to merge robbert/decision_true_false_cost
5 minutes 0 seconds, queued for 2 seconds