From 52ee1f6fa68ef9593bf34a958c2f584c331d9f4b Mon Sep 17 00:00:00 2001 From: Eric Engestrom Date: Tue, 1 Aug 2023 17:01:46 +0100 Subject: [PATCH] ci: add a 10min job timeout to formatting checks They both take only a few seconds, but it can take up to a minute for setting up the job, and various external factors such as network can add delays, so let's round it up to a generous 10 minutes. Signed-off-by: Eric Engestrom Part-of: --- .gitlab-ci/test/gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci/test/gitlab-ci.yml b/.gitlab-ci/test/gitlab-ci.yml index a5d2f47a750..84000b2fae2 100644 --- a/.gitlab-ci/test/gitlab-ci.yml +++ b/.gitlab-ci/test/gitlab-ci.yml @@ -30,6 +30,7 @@ - allow_failure: true variables: GIT_STRATEGY: fetch + timeout: 10m script: - git diff --color=always --exit-code # Fails if there are diffs