Skip to content

Make server-side search respect Context Lines feature of Search Editor #1115

Make server-side search respect Context Lines feature of Search Editor

Make server-side search respect Context Lines feature of Search Editor #1115

Triggered via pull request December 28, 2023 15:25
Status Success
Total duration 1m 19s
Artifacts

codeql-analysis.yml

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