Skip to content
Snippets Groups Projects

Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER

Passed
Christoph Grüninger created pipeline for commit ac5b0bc8
, finished
1 related merge request: !158 Use [[maybe_unused] instead of DUNE_UNUSED / DUNE_UNUSED_PARAMETER
branch
11 jobs 5 minutes 56 seconds, queued for 3 seconds