mirror of
https://github.com/brl/mutter.git
synced 2024-11-24 17:10:40 -05:00
ci: Set some sensible defaults
* Allow for all jobs to be cancelled if a newer commit is pushed * Automatically retry jobs if they fail due to some infrastructure issue Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1578>
This commit is contained in:
parent
6f380114be
commit
83f5f7728f
@ -30,6 +30,18 @@ stages:
|
|||||||
|
|
||||||
dnf clean all
|
dnf clean all
|
||||||
|
|
||||||
|
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'
|
||||||
|
|
||||||
workflow:
|
workflow:
|
||||||
rules:
|
rules:
|
||||||
- if: '$CI_MERGE_REQUEST_IID'
|
- if: '$CI_MERGE_REQUEST_IID'
|
||||||
|
Loading…
Reference in New Issue
Block a user