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

chore: update some extensions; fix update-from-ovsx script #80

Merged
merged 4 commits into from
May 8, 2024

Conversation

svor
Copy link
Collaborator

@svor svor commented May 1, 2024

Update versions and fix build of some extensions, current status of the list of extensions is described here: https://docs.google.com/spreadsheets/d/14jwjBJRYRNmSz5tY6CW1s0TvC8mVL4kbMwTiKmOHTiI/edit#gid=0

Related issues: https://issues.redhat.com/browse/CRW-6280, https://issues.redhat.com/browse/CRW-6289

@svor svor requested a review from mkuznyetsov May 1, 2024 13:18
@svor svor self-assigned this May 1, 2024
@svor svor requested review from ibuziuk and SDawley as code owners May 1, 2024 13:18
@svor svor marked this pull request as draft May 1, 2024 13:20
@svor svor marked this pull request as ready for review May 1, 2024 14:03
Signed-off-by: Valeriy Svydenko <[email protected]>
Copy link
Collaborator

@SDawley SDawley left a comment

Choose a reason for hiding this comment

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

Looks good, thanks for adding a PR check!
Did you actually get jupyter to build? That would be one of the longest-standing problems resolved.

@svor
Copy link
Collaborator Author

svor commented May 7, 2024

Looks good, thanks for adding a PR check! Did you actually get jupyter to build? That would be one of the longest-standing problems resolved.

@SDawley It's possible to build ms-toolsai.jupyter vsix but I haven't tried to install it into the workspace and test

@svor svor merged commit ec7329e into devspaces-3-rhel-8 May 8, 2024
1 check passed
@svor svor deleted the sv-update-extensions-episode-1 branch May 8, 2024 07:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants