Skip to content

GitLab

Merge branch 'issue/order' into 'master' 

repaired the order function

See merge request !198
4 jobs for master in 39 minutes and 23 seconds (queued for 3 seconds)
7489f1fb
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #19606
dune-2.6

00:26:46

passed #19607
dune-2.7

00:34:34

passed #19608
dune-git

00:30:22

passed #19609
dune-git-full

00:39:21