Cloning opf dune-common fails due to certificates of the dune git repository
$ bash scripts/build_documentation.sh
-- Cloning / updating dune and dumux
/builds/dumux-repositories/dumux-website/build /builds/dumux-repositories/dumux-website
/builds/dumux-repositories/dumux-website/build/dune-common /builds/dumux-repositories/dumux-website/build /builds/dumux-repositories/dumux-website
Fetching origin
fatal: unable to access 'https://gitlab.dune-project.org/core/dune-common.git/': server certificate verification failed. CAfile: none CRLfile: none
error: Could not fetch origin
Likely this has to be fixed in the dockerimage or the dockerimage has to be updated.