[gnome-remote-desktop] ci: Use better defaults
- From: Jonas Ådahl <jadahl src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-remote-desktop] ci: Use better defaults
- Date: Fri, 18 Dec 2020 10:03:58 +0000 (UTC)
commit d683d1edde473ef1a4749af5ad163faa2b60d644
Author: Jonas Ådahl <jadahl gmail com>
Date: Fri Dec 18 10:08:49 2020 +0100
ci: Use better defaults
Naively copied from mutter.
.gitlab-ci.yml | 12 ++++++++++++
1 file changed, 12 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d8483e0..4536556 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,18 @@ stages:
- build
- test
+default:
+ # Cancel jobs if newer commits are pushed to the branch
+ interruptible: true
+ # Auto-retry jobs in case of infra failures
+ retry:
+ max: 1
+ when:
+ - 'runner_system_failure'
+ - 'stuck_or_timeout_failure'
+ - 'scheduler_failure'
+ - 'api_failure'
+
build-gnome-remote-desktop:
stage: build
script:
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]