chore: Auto-update from GitHub Actions#2631

github-actions[bot] wants to merge 1 commit into

mainigraph/rigraph:mainfrom

gha-commit-4015737igraph/rigraph:gha-commit-4015737Copy head branch name to clipboard