Commit f0b8ee66 authored by Ralf Jung's avatar Ralf Jung

don't try to be smart about having an up-to-date opam

parent 7ccbd319
Pipeline #4882 passed with stages
in 3 minutes and 55 seconds