Skip to content
CI

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

Sign in to view logs

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

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

build

build
succeeded Feb 4, 2025 in 1m 29s