Skip to content

Merge pull request #22445 from github/hvitved-add-source-sink-barrier… #5350

Merge pull request #22445 from github/hvitved-add-source-sink-barrier…

Merge pull request #22445 from github/hvitved-add-source-sink-barrier… #5350

Triggered via push September 1, 2026 14:02
Status Success
Total duration 19m 41s
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.