@Franciskadtt Hmm, I’m sorry, I’m not able to successfully “force-stop” a workspace. What I’ll do instead is open an issue so that the team can look into it.
Meanwhile, is it possible for you to create a new workspace and work in that? Also, please note that you can “Download” the workspace (from https://gitpod.io/workspaces in the context menu of your workspace) in case there are unsaved files in there that you would like to retrieve.
Again, sorry for the inconvenience.
EDIT: I’ve logged this issue: https://github.com/gitpod-io/gitpod/issues/5016 so that we remember to fix all “stuck” workspace instances (this doesn’t normally happen, but can happen accidentally e.g. when there are incidents disturbing normal operations).