control-service: killed job was shown as successful#2116
Merged
mivanov1988 merged 9 commits intomainfrom May 25, 2023
Merged
Commits
Commits on May 23, 2023
- committed
- committed
- committed
- committed
github-actions
Commits on May 25, 2023
- committed
- committedgithub-actions
- committed
- committedgithub-actions
- committed