Skip to content

[main]: Fixes #152088 - Adds various editor gutter tooltips (#200335) #11296

Sign in to view logs

[main]: Fixes #152088 - Adds various editor gutter tooltips (#200335)

[main]: Fixes #152088 - Adds various editor gutter tooltips (#200335) #11296

Triggered via dynamic December 18, 2023 09:00
@github-codespacesgithub-codespaces[bot]
⁠ a93f0f5
main
Status Success
Total duration 12m 40s
Artifacts –

create_codespaces_prebuilds_development

on: dynamic
prebuild
12m 24s
prebuild
Fit to window
Zoom out
Zoom in