Skip to content
Snippets Groups Projects

Added priotity to swap rule of proofmode to avoid looping TC search

Passed
Jonas Kastberg created pipeline for commit 778f3231
, finished
For master
1 job 5 minutes 30 seconds, queued for 7 seconds