change position of deprecated attribute

4 jobs for master in 48 minutes and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #21971
dune-2.6

00:23:53

passed #21972
dune-2.7

00:38:09

passed #21973
dune-git

00:31:07

passed #21974
dune-git-full

00:48:09