ws-manager: Fix consistency of disposed ws between ws-daemon and ws-manager

[utam0k]

Description

Due to a retry timing issue, there were cases where the workspace had already been successfully backed up on the ws-daemon side, but ws-manager was trying to back it up again with an error.

More detail

Related Issue(s)

Fixes https://github.com/gitpod-io/gitpod/issues/11710

How to test

Is there any good way to do this?

Release Notes

Fixed a rare case in which prebuild was terminating successfully but failing

Documentation

Werft options:

• [ ] /werft with-preview

[utam0k]

/werft with-preview

:-1: unknown command: with-preview Use /werft help to list the available commands

[werft-gitpod-dev-com[bot]]

started the job as gitpod-build-to-retry-prebuild.3 because the annotations in the pull request description changed (with .werft/ from main)