diff options
| author | Christoph Müllner <christoph.muellner@vrull.eu> | 2025-08-07 00:02:12 +0200 |
|---|---|---|
| committer | Christoph Müllner <christophm30@gmail.com> | 2025-08-07 07:39:26 +0200 |
| commit | b8ca156d2ab0038c6af4569c52f9ec30d95342f0 (patch) | |
| tree | eea92fee3596b449c482ca683c5d67e01e738b79 /scripts/wrapper/sed | |
| parent | ac2246ab7770cbe399fc0a5f3f239850f7abe60b (diff) | |
| download | riscv-gnu-toolchain-master.zip riscv-gnu-toolchain-master.tar.gz riscv-gnu-toolchain-master.tar.bz2 | |
The default strategy is for GItHub CI/CD pipelines is to cancel
all runners when one runner observes an error. The idea is to
keep the workload of the runners low and an error likely leads
to a future source code change (making the results of the other
runners irrelevant). This is reasonable for testing PRs with
unknown expectation.
However, for our nightly release builds, we observe that errors
are typically caused by the runners and not by the contents of
this repo. Therefore, we address build issues of the nightly
releases by re-running all failed builds, which includes those
which have been canceled because of the error. Letting all
runners complete their build is a better option in this case,
as we don't need to re-start builds that would have succeeded.
And that's what this patch does.
Signed-off-by: Christoph Müllner <christoph.muellner@vrull.eu>
Diffstat (limited to 'scripts/wrapper/sed')
0 files changed, 0 insertions, 0 deletions