mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
murdock: prioritize job collection over build jobs
Previously, the fanned out job collection would add it's jobs to the "default" queue, competing with build jobs. This could lead to a situation where job collection would take very long or even time out. This PR choses "default-first" as queue for the fan-out. Workers are expected to add that queue *before* "default", so its jobs get processed first.
This commit is contained in:
parent
96dcc35f33
commit
536c0dd1d4
Loading…
Reference in New Issue
Block a user