Skip to content
Snippets Groups Projects

Build: make a smaller tgz for opam

Passed
erwan created pipeline for commit 3218622f
, finished
For 2.70.6
latest
3 jobs 3 minutes 38 seconds, queued for 0 seconds