diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-11 16:15:27 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2025-09-11 16:33:48 +0200 |
| commit | 6ec9bcb1c4dfbe5fc5365d93e75c516bb03bf9fc (patch) | |
| tree | 9094e4fb8745849ada00f61144aba60d8a51b5bf /ci-nightly.sh | |
| parent | 42c68622eeba3be05e8f8ccdc4072b7aa57f78d1 (diff) | |
executor: add priority scheduler.
Diffstat (limited to 'ci-nightly.sh')
0 files changed, 0 insertions, 0 deletions