Update CI dependencies (minor) #354
Merged
Geo GHCI int / Pull request checks
succeeded
Oct 1, 2024 in 12s
Pull request checks
✔️ The commit 9167505 is not a fixup commit
✔️ The commit 9167505 is not a squash commit
✔️ The first letter of message head in commit 9167505 is a capital
✔️ The message head in commit 9167505 is at least 5 characters long
✔️ The commit 9167505 is not a merge commit
✔️ The commit edce20a is not a fixup commit
✔️ The commit edce20a is not a squash commit
✔️ The first letter of message head in commit edce20a is a capital
✔️ The message head in commit edce20a is at least 5 characters long
✔️ The commit edce20a is not a merge commit
✔️ Code spell on commit 9167505 are correct
✔️ Code spell on commit edce20a are correct
✔️ Pull request title is correct
Loading