Patch: Avoid error on CodeQL workflow #473
Merged
Geo GHCI int / Pull request checks
succeeded
Aug 8, 2024 in 35s
Pull request checks
✔️ The commit d2b70ba is not a fixup commit
✔️ The commit d2b70ba is not a squash commit
✔️ The first letter of message head in commit d2b70ba is a capital
✔️ The message head in commit d2b70ba is at least 5 characters long
✔️ The commit d2b70ba is not a merge commit
✔️ Code spell on commit d2b70ba are correct
✔️ Pull request title is correct
Loading