Skip to content
Snippets Groups Projects

fix dune file

Warning
Lennard Gäher created pipeline for commit 688d9670
, finished
1 related merge request: !19 Use Nix for GitLab pipelines
6 jobs 76 minutes 20 seconds, queued for 3 seconds