CI updates #9368
Merged
CI updates #9368
Geo GHCI int / Pull request checks
succeeded
Jun 7, 2024 in 12s
Pull request checks
✔️ The commit f885b08 is not a fixup commit
✔️ The commit f885b08 is not a squash commit
✔️ The first letter of message head in commit f885b08 is a capital
✔️ The message head in commit f885b08 is at least 5 characters long
✔️ The commit f885b08 is not a merge commit
✔️ Code spell on commit f885b08 are correct
✔️ Pull request title is correct
Loading