Skip to content
Snippets Groups Projects

Merge branch '128-score-of-order-depends-on-remaining-time' into 'dev'

Passed
Fabian Heinrich created pipeline for commit 471f30fe
, finished
For dev
branch
1 job 1 minute 15 seconds, queued for 1 seconds