This pull request adds better merge queue support to the CodeQL workflow which mirrors similar changes made to the build workflow in #177.
๐ญ Motivation and context
This might help ease merge queue issues. Even if it does not it will not harm anything and mirrors GitHub's documentation on supporting merge queues. I meant to push this change on top of #177 when I was trying to merge it up since the queue was dying on CodeQL results but I crossed my wires and forgot ๐คฆ
๐งช Testing
Automated tests pass.
โ Pre-approval checklist
[x] This PR has an informative and human-readable title.
[x] Changes are limited to a single goal - eschew scope creep!
[x] All relevant type-of-change labels have been added.
๐ฃ Description
This pull request adds better merge queue support to the CodeQL workflow which mirrors similar changes made to the build workflow in #177.
๐ญ Motivation and context
This might help ease merge queue issues. Even if it does not it will not harm anything and mirrors GitHub's documentation on supporting merge queues. I meant to push this change on top of #177 when I was trying to merge it up since the queue was dying on CodeQL results but I crossed my wires and forgot ๐คฆ
๐งช Testing
Automated tests pass.
โ Pre-approval checklist