Update gitpod-web extension

[jeanp413]

Description

Fixes vscode-server cli in insiders
gitpod-io/gitpod-code@80feb75

Summary generated by Copilot

🤖 Generated by Copilot at 9eae15b

Update the web-based IDE to use the latest gitpod-web extension. This improves the user experience and functionality of the IDE in the browser.

Related Issue(s)

Fixes #

How to test

Documentation

Preview status

Gitpod was successfully deployed to your preview environment.

• 🏷️ Name - jp-grateful-jay
• 🔗 URL - jp-grateful-jay.preview.gitpod-dev.com/workspaces.
• 📚 Documentation - See our internal documentation for information on how to interact with your preview environment.
• 📦 Version - jp-grateful-jay-gha.16011

Build Options

Build

• /werft with-werft
  Run the build with werft instead of GHA
• leeway-no-cache
• /werft no-test
  Run Leeway with --dont-test

Publish

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer

• analytics=segment
• with-dedicated-emulation
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment / Integration Tests

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh. If enabled, with-preview and with-large-vm will be enabled.
• with-monitoring

/hold

[akosyakov]

I did not test.

[jeanp413]

/unhold