Skip to content
Snippets Groups Projects

add bool_decide_negb

Passed
Ralf Jung created pipeline for commit b8691a89
, finished
Related merge request !347 to merge ralf/bool_decide_negb
merge request
2 jobs 4 minutes 29 seconds, queued for 9 seconds