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