Skip to content

GitLab

Merge branch 'feature/update_doc' into 'master' 

Feature/update doc

See merge request !216
4 jobs for master in 64 minutes and 2 seconds (queued for 4 seconds)
a2b0f4b5
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #21268
dune-2.6

00:24:10

passed #21269
dune-2.7

00:31:51

passed #21270
dune-git

00:31:10

passed #21271
dune-git-full

00:39:49