Skip to content
Snippets Groups Projects

ci: use the .opam file for building the git repo

Failed
erwan created pipeline for commit ea6a6e3e
, finished
For master
5 jobs 3 minutes 18 seconds, queued for 2 seconds