diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-12-02 20:35:57 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-12-02 21:07:07 +0100 |
| commit | 5c558f6b107a82370d7207caad9bf88fcab77c86 (patch) | |
| tree | 0b565dcf2409349fd77f7b1045c14a03c15228a3 /minici.cabal | |
| parent | 41b2081f57e8356fe26f67f819af480d10219d25 (diff) | |
Prepend default repo to job ID only for repo job root
Diffstat (limited to 'minici.cabal')
0 files changed, 0 insertions, 0 deletions