Commit 3218622f authored by erwan's avatar erwan

Build: make a smaller tgz for opam

parent abd625df
Pipeline #28483 passed with stages
in 3 minutes and 38 seconds