Skip to content
CodeQL

Fix bug in selection handling in dom renderer #889

Sign in to view logs

Fix bug in selection handling in dom renderer

Fix bug in selection handling in dom renderer #889

Triggered via pull request August 16, 2023 22:42
@PerBothnerPerBothner
opened #4681
PerBothner:dom-selection
Status Success
Total duration 3m 1s
Artifacts –

codeql-analysis.yml

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