Skip to content
Snippets Groups Projects

`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops...

Passed
Robbert Krebbers created pipeline for commit b81aa3aa
, finished
For master
8 jobs 11 minutes 0 seconds, queued for 0 seconds