Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update VS Code Browser to 1.76.1 #16791

Merged
merged 2 commits into from
Mar 13, 2023
Merged

Update VS Code Browser to 1.76.1 #16791

merged 2 commits into from
Mar 13, 2023

Conversation

filiptronicek
Copy link
Member

@filiptronicek filiptronicek commented Mar 9, 2023

Description

Update code to 1.76.1

Progress

How to test

  • Switch to VS Code Browser Insiders in settings.
  • Start a workspace.
  • Test the following:
    • terminals are preserved and resized properly between window reloads
    • WebViews are working
    • extension host process: check language smartness and debugging
    • extension management (installing/uninstalling)
    • install the VIM extension to test web extensions
    • that user data is synced across workspaces as well as on workspace restarts, especially for extensions
      • extensions from .gitpod.yml are not installed as sync
      • extensions installed as sync are actually synced to all new workspaces
    • settings should not contain any mentions of MS telemetry
    • WebSockets and workers are properly proxied
      • diff editor should be operable
      • trigger reconnection with window.WebSocket.disconnectWorkspace(), check that old WebSockets are closed and new opened of the same amount
    • workspace specific commands should work, i.e. F1 → type Gitpod prefix
    • that a PR view is preloaded when opening a PR URL
    • test gp open and gp preview
    • test open in VS Code Desktop, check gp open and gp preview in task/user terminals
    • telemetry data is collected in Segment

Release Notes

NONE

Werft options:

  • /werft with-preview
  • /werft analytics=segment

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-ide-code-1.76.1.1 because the annotations in the pull request description changed
(with .werft/ from main)

@filiptronicek
Copy link
Member Author

filiptronicek commented Mar 10, 2023

/gh run recreate-vm

Comment triggered a workflow run

Started workflow run: 4383209862

  • recreate_vm: true

@filiptronicek
Copy link
Member Author

filiptronicek commented Mar 12, 2023

/gh run recreate-vm

Comment triggered a workflow run

Started workflow run: 4398625843

  • recreate_vm: true

@filiptronicek filiptronicek marked this pull request as ready for review March 12, 2023 18:08
@filiptronicek filiptronicek requested a review from a team March 12, 2023 18:08
@filiptronicek
Copy link
Member Author

Warning: Segment does not work here, but I believe it's because of the change to use GitHub Actions. There shouldn't be any problems and we can test in staging

Copy link
Contributor

@mustard-mh mustard-mh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@roboquat roboquat merged commit 41f226c into main Mar 13, 2023
@roboquat roboquat deleted the ide/code-1.76.1 branch March 13, 2023 08:26
@filiptronicek filiptronicek linked an issue Mar 13, 2023 that may be closed by this pull request
13 tasks
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Mar 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
deployed: IDE IDE change is running in production deployed Change is completely running in production release-note-none size/XS team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Gitpod VS Code Browser 1.76
4 participants