Skip to content
CodeQL

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

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 #1547

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

codeql-analysis.yml

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