Skip to content
Snippets Groups Projects

Use `RelDecision` when possible.

Passed
Robbert Krebbers created pipeline for commit 3a8d3fa9
, finished
Related merge request !571 to merge robbert/rel_decision
latest merge request
2 jobs 2 minutes 53 seconds, queued for 5 seconds