Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix for Remine ticket #10927: the server processes files are deleted …
…only if the pipeline's exit code is 0. (#2252) This should facilitate debugging in some cases.
- Loading branch information