Skip to content
CodeQL

Fix issue where Undo after a save deletes the file being edited #1544

Sign in to view logs

Fix issue where Undo after a save deletes the file being edited

Fix issue where Undo after a save deletes the file being edited #1544

Triggered via pull request April 3, 2025 16:35
@isc-bsavianoisc-bsaviano
synchronize #1524
isc-bsaviano:fix-1522
Status Success
Total duration 1m 49s
Artifacts –

codeql-analysis.yml

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