Add Arguments bool_decide : simpl never

2 jobs for !331 with msammler/bool_decide_simpl_never in 5 minutes and 3 seconds (queued for 7 seconds)
latest detached
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #150787
fp

00:05:03

passed build-coq.8.13.2-mr #150786
fp

00:04:39