Skip to content
Snippets Groups Projects

Merge branch 'bugfix/DuneMPI-use-COMPILE_OPTIONS' into 'master'

Merged Merge branch 'bugfix/DuneMPI-use-COMPILE_OPTIONS' into 'master'
cherry-pick-96ed065a into releases/2.6
Merged Ansgar Burchardt requested to merge cherry-pick-96ed065a into releases/2.6
Status
Pipeline
Created by
Stages
Actions
Passed

00:03:13

avatar
Stage: test
Download artifacts

No artifacts found