Skip to content
CodeQL call

Move displaced line of top-anchored scroll region into scroll-back #6679

Sign in to view logs

Move displaced line of top-anchored scroll region into scroll-back

Move displaced line of top-anchored scroll region into scroll-back #6679

Triggered via pull request June 12, 2026 13:14
@vogellavogella
synchronize #2764
vogella:feature/terminal-scrollregion-history-2680
Status Success
Total duration 13m 2s
Artifacts –

codeql.yml

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

Annotations

1 warning
callCodeQLworkflow / Analyze (java)
Cannot build an overlay database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.