Skip to content

chore: show deprecation banner for arm32 remote connections#317086

Merged
deepak1556 merged 1 commit into
release/1.121from
robo/deprecate_arm_server_1_121
May 18, 2026
Merged

chore: show deprecation banner for arm32 remote connections#317086
deepak1556 merged 1 commit into
release/1.121from
robo/deprecate_arm_server_1_121

Conversation

@deepak1556
Copy link
Copy Markdown
Collaborator

Backports #317063

@deepak1556 deepak1556 added this to the 1.121.0 milestone May 18, 2026
@deepak1556 deepak1556 self-assigned this May 18, 2026
Copilot AI review requested due to automatic review settings May 18, 2026 17:29
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR adds a version-dismissable deprecation banner for Linux ARM32 remote server connections, aligning remote connection health checks with upcoming platform support changes.

Changes:

  • Detects Linux ARM32 remote environments during initial remote connection health checks.
  • Adds a reusable helper for versioned remote warning banners.
  • Refactors the existing unsupported glibc banner to use the shared helper.

Comment thread src/vs/workbench/contrib/remote/browser/remoteConnectionHealth.ts
@deepak1556 deepak1556 force-pushed the robo/deprecate_arm_server_1_121 branch from 28e4ba1 to 01cb0f4 Compare May 18, 2026 17:59
@deepak1556 deepak1556 changed the base branch from main to release/1.121 May 18, 2026 23:04
@deepak1556 deepak1556 marked this pull request as ready for review May 18, 2026 23:04
@deepak1556 deepak1556 enabled auto-merge (squash) May 18, 2026 23:04
Comment thread src/vs/workbench/contrib/remote/browser/remoteConnectionHealth.ts
Comment thread src/vs/workbench/contrib/remote/browser/remoteConnectionHealth.ts
@deepak1556 deepak1556 merged commit bc8bcf7 into release/1.121 May 18, 2026
25 checks passed
@deepak1556 deepak1556 deleted the robo/deprecate_arm_server_1_121 branch May 18, 2026 23:15
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.

3 participants