Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Try to delete the workspace instead of fail (#3589)
* Try to delete the workspace instead of fail Creation of the new workspace will fail anyway it it still exists. But 2 agents may delete the same workspace at the ecact same time. Fixes: #3588 * Remove newline Co-authored-by: Alexander Smolyakov <[email protected]>
- Loading branch information