Running with gitlab-runner 17.9.0 (c4cbe9dd)
  on gitlab-ci@tu-dresden.de eb9848a6, system ID: r_naUI2azIcgKL
section_start:1741341888:prepare_executor
Preparing the "docker" executor
Using Docker executor with image registry.dune-project.org/docker/ci/debian:11 ...
Authenticating with credentials from job payload (GitLab Registry)
Pulling docker image registry.dune-project.org/docker/ci/debian:11 ...
Using docker image sha256:b307ddb7dabd0e68ce7dcd6802ac73638fe59ae4fa77f214fe5cff7876c2c22b for registry.dune-project.org/docker/ci/debian:11 with digest registry.dune-project.org/docker/ci/debian@sha256:3836f3725293782aaf92e3e923b534d12011289cfe95d12722f4a605a820651b ...
section_end:1741341890:prepare_executor
section_start:1741341890:prepare_script
Preparing environment
Running on ci via 819d43d53913...
section_end:1741341891:prepare_script
section_start:1741341891:get_sources
Getting source from Git repository
Fetching changes with git depth set to 20...
Initialized empty Git repository in /builds/fufem/dune-fufem/.git/
Created fresh repository.
Checking out 79dc5b40 as detached HEAD (ref is master)...

Skipping Git submodules setup
section_end:1741341892:get_sources
section_start:1741341892:step_script
Executing "step_script" stage of the job script
Using docker image sha256:b307ddb7dabd0e68ce7dcd6802ac73638fe59ae4fa77f214fe5cff7876c2c22b for registry.dune-project.org/docker/ci/debian:11 with digest registry.dune-project.org/docker/ci/debian@sha256:3836f3725293782aaf92e3e923b534d12011289cfe95d12722f4a605a820651b ...

$ codespell --ignore-words-list afe,ba,adapte,fro,implementors --skip ./doc/manual/dune-fufem.bib
section_end:1741341893:step_script
section_start:1741341893:cleanup_file_variables
Cleaning up project directory and file based variables
section_end:1741341894:cleanup_file_variables
Job succeeded