Update CI dependencies (minor) #539
Merged
Geo GHCI int / Pull request checks
succeeded
Feb 11, 2025 in 30s
Pull request checks
✔️ The commit b3ea55d is not a fixup commit
✔️ The commit b3ea55d is not a squash commit
✔️ The first letter of message head in commit b3ea55d is a capital
✔️ The message head in commit b3ea55d is at least 4 characters long
✔️ The commit b3ea55d is not a merge commit
✔️ Code spell on commit b3ea55d are correct
✔️ Pull request title is correct
Loading