commit | ccd4457697ac2a387090e6cfeba14229da61aac6 | [log] [tgz] |
---|---|---|
author | Florian Weikert <fwe@google.com> | Mon Nov 11 13:11:39 2024 +0100 |
committer | GitHub <noreply@github.com> | Mon Nov 11 13:11:39 2024 +0100 |
tree | 1c01a4da99bd702c18397ad12692f41706cdfda7 | |
parent | b05134e3758ff0fd0bdd504de1cdd0c7333d76fc [diff] |
Allow specific pipelines to run at higher priority (#2106) Also formatted bazelci.py