Skip to content
Snippets Groups Projects

comply by opam's style guidelines

Passed
Ralf Jung created pipeline for commit 21de4a02
, finished
For master
5 jobs 15 minutes 54 seconds, queued for 3 seconds