diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-12-17 10:41:13 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-12-17 10:41:39 +0100 |
| commit | 83abd6b126c22ee53d623b5ada674dc921c97ebe (patch) | |
| tree | 712d23eeedbedc91317705fd1e666bd84b64fcc4 /src/qt | |
| parent | 8452f922d211155b012b04256e1304c4afb6b913 (diff) | |
| parent | facf5e37f619be6bd7f8768058842679cd9ad933 (diff) | |
Merge #20680: ci: Only use credits for pull requests to the main repo
facf5e37f619be6bd7f8768058842679cd9ad933 ci: Only use credits for pull requests to the main repo (MarcoFalke)
Pull request description:
No need to spend credits for the `master` branch, because the build shouldn't fail there anyway and it is not time-critical to get a fast feedback.
Some other changes:
* Disable `stateful` for faster scheduling
* Reduce lint memory from 8G to 1G for faster scheduling
ACKs for top commit:
hebasto:
ACK facf5e37f619be6bd7f8768058842679cd9ad933, I have reviewed the code and it looks OK, I agree it can be merged.
Tree-SHA512: 4d052e68217086574b9ea3d603cde1b585833c289d47dfed5308ff001d02964dc75ec3b3ebf5b233ccd09c47ad4ff5ba0bef639bf6362d984e7c49fca8fec24b
Diffstat (limited to 'src/qt')
0 files changed, 0 insertions, 0 deletions