Commit 9d1f3c3c authored by Ralf Jung's avatar Ralf Jung

update CI for opam 2

parent bc89b4bd
Pipeline #11751 failed with stage
in 23 minutes and 48 seconds