diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-25 23:34:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-25 23:34:08 +0200 |
| commit | c80a9fa8704a7b9e9217ae2367b8aec8640cc3e1 (patch) | |
| tree | 9d3efa7db87a215daebb31a76b7612a81d9a7a43 /compiler/rustc_interface/src/errors.rs | |
| parent | f9b8e6bb62d6fce3d41071528e2ea94a16af627a (diff) | |
| parent | 7d46885dc192d9e0eaebe2f55e90326c9ec6216d (diff) | |
| download | rust-c80a9fa8704a7b9e9217ae2367b8aec8640cc3e1.tar.gz rust-c80a9fa8704a7b9e9217ae2367b8aec8640cc3e1.zip | |
Rollup merge of #114062 - Kobzol:ci-group-splitting, r=Mark-Simulacrum
CI: split nested GHA groups instead of panicking Bootstrap uses Github Actions groups to reduce clutter in CI job output. However, GHA doesn't support group nesting, and currently, when a group would be nested, bootstrap would panic. This is causing intermittent CI failures, because it's not trivial to make sure that groups won't be nested, and subtle changes in bootstrap (or even in caches being present) can cause nesting. This PR changes the logic so that groups are never nested. Instead, when a group would be nested, the previous group is ended, and only then is the subgroup started. When the subgroup finishes, it will then restart any previously ended parent group. r? `@Mark-Simulacrum`
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions