Merge branch 'feature/ci-retry-runner-system-failure' into 'master' (!3117) · Merge requests · dumux-repositories / dumux · GitLab

Merged Timo Koch requested to merge cherry-pick-86831d7f into releases/3.5 May 20, 2022

[CI] Retry jobs when there is a runner_system_failure

See merge request !3116 (merged)

(cherry picked from commit 86831d7f)

bff3bf91 [CI] Retry jobs when there is a runner_system_failure