build(deps): bump github/codeql-action from 3 to 4 #787
Mergify / Queue: Embarked in merge queue
succeeded
Oct 13, 2025 in 0s
The pull request embarked with master (ddd06f2) will be merged soon
Loading