Skip to content

Fix convention in gitlab config.

Rodolphe Lepigrerequested to merge
rodolphe/dune into master

Something I messed up in the dune MR.

Merge request reports