Skip to content
Snippets Groups Projects

switch to newer ocaml

Failed
Ralf Jung created pipeline for commit d6f8c9ac
, finished
For master
Scheduled branch
1 job 23 minutes 46 seconds, queued for 3 seconds