Skip to content

Remove IDE version numbers from the editors name #1942

Remove IDE version numbers from the editors name

Remove IDE version numbers from the editors name #1942

Triggered via pull request August 15, 2025 09:08
Status Success
Total duration 6s
Artifacts

try-in-web-ide.yaml

on: pull_request_target
add-web-ide-link
3s
add-web-ide-link
Fit to window
Zoom out
Zoom in