Skip to content
Snippets Groups Projects

fix dune file

Warning
Lennard Gäher created pipeline for commit 7594347f
, finished
1 related merge request: !23 Add more stdlib libs and spec
6 jobs 67 minutes 27 seconds, queued for 1 seconds