diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-05 11:25:41 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-07-05 14:03:27 +0200 |
| commit | 439481ad37868c732fa68fc31b65c581d0dcd7fa (patch) | |
| tree | b000f79cfc453b39f5c32af7daaca039f92d5c8d /src/Repo.hs | |
| parent | 26abedba2417ef166a3dfe2370736ec337ed7dfd (diff) | |
Restart cancelled jobs when needed
Diffstat (limited to 'src/Repo.hs')
0 files changed, 0 insertions, 0 deletions