Skip to content
Snippets Groups Projects

Replace the FATAL_ERROR in dune_policy(SET) by an author warning

Failed
Simon Praetorius created pipeline for commit 40a0db57
, finished
Related merge request !1518 to merge cherry-pick-1511
merge request
13 jobs 81 minutes 52 seconds, queued for 2 seconds