Skip to content

Merge pull request #22358 from github/hvitved-unified-jump-definitions #5261

Merge pull request #22358 from github/hvitved-unified-jump-definitions

Merge pull request #22358 from github/hvitved-unified-jump-definitions #5261

Triggered via push August 17, 2026 08:14
Status Success
Total duration 19m 55s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodeQL-Build
Cannot build an overlay-base database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.