Skip to content
Snippets Groups Projects

add logpath tag to opam file

Passed
Ralf Jung created pipeline for commit 1304e178
, finished
For master
5 jobs 10 minutes 48 seconds, queued for 5 seconds