Skip to content
CodeQL

Update the VS Code editor UI if a server-side document was changed during save #1610

Sign in to view logs

Update the VS Code editor UI if a server-side document was changed during save

Update the VS Code editor UI if a server-side document was changed during save #1610

Triggered via pull request June 4, 2025 12:26
@isc-bsavianoisc-bsaviano
opened #1573
isc-bsaviano:fix-1565
Status Success
Total duration 1m 25s
Artifacts –

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in