Skip to content

GitLab

Merge branch 'issue/cleanup_type_traits' into 'master' 

some simple cleanup of the type_traits

See merge request !224
4 jobs for master in 16 minutes and 2 seconds (queued for 3 seconds)
59701f9b
No related merge requests found.
Status Job ID Name Coverage
  Test
canceled #22375
dune-2.6

00:16:02

canceled #22376
dune-2.7

00:16:01

canceled #22377
dune-git

canceled #22378
dune-git-full