Skip to content

Add IDE versions to ide service #15081

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

Merged
merged 1 commit into from
Dec 2, 2022
Merged

Add IDE versions to ide service #15081

merged 1 commit into from
Dec 2, 2022

Conversation

filiptronicek
Copy link
Member

@filiptronicek filiptronicek commented Nov 30, 2022

Description

Adds versions to all IDEs when talking to the WebSocket IDE service API. This will enable the Dashboard to know what version all IDEs are at.

Related Issue(s)

Fixes #

How to test

image

Release Notes

NONE

Documentation

Werft options:

  • /werft with-local-preview
    If enabled this will build install/preview
  • /werft with-preview
  • /werft with-large-vm
  • /werft with-integration-tests=all
    Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh

@werft-gitpod-dev-com
Copy link

started the job as gitpod-build-ft-add-versions-ide-service.6 because the annotations in the pull request description changed
(with .werft/ from main)

Co-authored-by: Anton Kosyakov <[email protected]>
Co-authored-by: Jean Pierre <[email protected]>
Co-authored-by: Huiwen <[email protected]>
Co-authored-by: Pudong <[email protected]>
Co-authored-by: Victor Nogueira <[email protected]>
Co-authored-by: Andrea Falzetti <[email protected]>
Co-authored-by: AXON <[email protected]>
@filiptronicek filiptronicek force-pushed the ft/add-versions-ide-service branch from 73d2af3 to bf55c18 Compare December 2, 2022 18:33
@roboquat roboquat merged commit 8a51256 into main Dec 2, 2022
@roboquat roboquat deleted the ft/add-versions-ide-service branch December 2, 2022 18:38
@roboquat roboquat added deployed: IDE IDE change is running in production deployed Change is completely running in production labels Dec 5, 2022
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/L team: IDE
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants