Skip to content
Snippets Groups Projects

update CI for opam 2

Failed
Ralf Jung created pipeline for commit c5e22848
, finished
For master
branch
8 jobs 12 minutes 7 seconds, queued for 1 seconds