Skip to content
Snippets Groups Projects

Update: set-up the opam file and the ci

Warning
erwan created pipeline for commit b4b5388d
, finished
latest
2 jobs 2 minutes 0 seconds, queued for 0 seconds