Commit 398088b3 authored by Steffen Müthing's avatar Steffen Müthing

[!110] Centralize CI configuration

Merge branch 'ci/centralize-config' into 'master'

See merge request [!110]

  [!110]: Nonecore/dune-localfunctions/merge_requests/110
parents 6e57616d 67608032
Pipeline #15013 failed with stage
in 11 minutes and 15 seconds