Commit eb7d533d authored by erwan's avatar erwan
Browse files

Build: fix the opam package building process

parent 0f739b5e
Pipeline #18155 passed with stages
in 3 minutes and 19 seconds