Skip to content
Snippets Groups Projects

Build: fix warning related to unattached comment, as dune 2.0 generates an error for those

Failed
erwan created pipeline for commit 0d115bc2
, finished
For master
3 jobs 1 minute 10 seconds, queued for 1 seconds