merge queue: embarking devel (51f9a5c) and #5105 together#5112

Closed

mergify[bot] wants to merge 2 commits intodevelfrom mergify/merge-queue/8ed38d069b

Commits on Jan 28, 2025

rebase: bump github/codeql-action from 3.28.1 to 3.28.6

dependabot[bot]
authored and
nixpanic
committed
Merge of #5105
mergify[bot]
authored