Lisa Julia Nebel authored 4 years ago and Sander, Oliver committed 4 years ago

From

  duneci/dune:***       (from Docker Hub)

to

  registry.dune-project.org/docker/ci/dune:***

(from the Dune homepage).  The mirror at Docker Hub is not always
up-to-date.