Fix typo

7 jobs for <span class="ref-name">bugfix/fix-bugs-in-dune-ctest</span> in 12 minutes and 24 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Test
passed #83272
duneci
debian:10 clang-7-libcpp-17

00:03:48

passed #83277
duneci iset:avx allowed to fail
debian:10 gcc-7-14--expensive

00:12:23

passed #83271
duneci
debian:10 gcc-8-noassert-17

00:04:16

passed #83274
duneci
debian:9 clang-3.8-14

00:03:31

passed #83273
duneci
debian:9 gcc-6-14

00:03:10

passed #83275
duneci
ubuntu:16.04 gcc-5-14

00:03:03

passed #83276
duneci
ubuntu:18.04 clang-6-17

00:03:57