Run CI on merge_group
events, to allow for GitHub Merge Queue
#219
GitHub Advanced Security / CodeQL
succeeded
Feb 11, 2024 in 2s
No new alerts in code changed by this pull request
Loading