Actions
Bug #10587
closedCheck result properly in all Scheduler requests
Start date:
11/20/2020
Due date:
% Done:
0%
Estimated time:
Detected in build:
git
Platform:
Published in build:
Description
In particular, get_alljobs does not process the None value if the request failed.
Updated by Evgeny Novikov about 4 years ago
- Related to Bug #10585: Do not fail when there is not appropriate Java for CPAchecker added
Updated by Evgeny Novikov about 4 years ago
- Status changed from Resolved to Closed
Tests passed, so, I merged the branch to master in ea26920c0.
Actions