Remove dune upper bound on 9.0+rc1 for the docker image#3329

Merged

proux01 merged 1 commit intocoq:masterfrom proux01:dune-upper-bound-docker

Feb 4, 2025

+1-1

Commits on Feb 4, 2025

Remove dune upper bound for the docker image
proux01
committed