diff options
| author | bors-servo <infra@servo.org> | 2023-01-05 02:03:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-05 02:03:59 -0500 |
| commit | 871cefc926be659b9273f8185e90866f5e4c8c2f (patch) | |
| tree | 7f65bbdc19afb32bf522fc810f599f79c7406d70 /python/servo | |
| parent | 9769f91709c970adb9f806e3c12d328f9112efae (diff) | |
| parent | 6e91966a9ee235ace429ce8c753636b4c21d012f (diff) | |
| download | servo-871cefc926be659b9273f8185e90866f5e4c8c2f.tar.gz servo-871cefc926be659b9273f8185e90866f5e4c8c2f.zip | |
Auto merge of #29197 - delan:ci-decision-job, r=jdm
Cancel main build if successful build already exists for commit
Homu pushes both the old and new commits for each merge, causing the main build to run twice for each commit.
This patch adds a “decision job” to the main build, which cancels the run if a successful main build already exists for the commit. The jobs that build Servo on each of the five platforms in turn block until that new job finishes.
---
- [ ] ~~`./mach build -d` does not report any errors~~
- [ ] ~~`./mach test-tidy` does not report any errors~~
- [x] These changes fix #28326
<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they affect the CI configuration
Diffstat (limited to 'python/servo')
0 files changed, 0 insertions, 0 deletions