ci bench: remove melange pins#7918

rgrinberg merged 1 commit intoocaml:mainocaml/dune:mainfrom

jchavarri:ci-bench/remove-melange-pinsjchavarri/dune:ci-bench/remove-melange-pinsCopy head branch name to clipboard