Commit 1af548f7 authored by Alexander Povel's avatar Alexander Povel
Browse files

Extend CI config with retry

Tries to fix container not found error, saving a manual retry
parent 39264c6b
......@@ -35,6 +35,17 @@ replace_git_metadata:
artifacts:
paths:
- "*.cls"
# Try to fix this notorious issue
# (ERROR: Job failed (system failure): Error: No such container: <container_id>):
# https://gitlab.com/gitlab-org/gitlab-runner/-/issues/4450
# As of 2020-04-13, Steve Azzopardi commented that it should be fixed from GitLab
# version 12.10.
#
# This is the FIRST job of the entire pipeline, so retry once here
# (has always worked with one retry so far), no need later on
retry:
max: 1
when: runner_system_failure
compile_latex:
script:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment