Skip to content
Snippets Groups Projects

Stop patching dune-common to work around a bug in ADOL-C

Passed
Sander, Oliver created pipeline for commit 95740e81
, finished
1 related merge request: !137 Various CI updates
6 jobs 42 minutes 10 seconds, queued for 64 seconds