Update old ref pages

4 jobs for feature/update_doc in 45 minutes and 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #21160
dune-2.6

00:25:55

passed #21161
dune-2.7

00:33:35

passed #21162
dune-git

00:33:26

passed #21163
dune-git-full

00:45:57