Bump leanprover-community/lean-release-tag from 0a978e45247f1ef211cd9d7f99d0dbd87638a70a to 9ca7ed09e240259871327bfc3a3a8d8c4bcb41aa#4

dependabot[bot] wants to merge 1 commit intomainriccardobrasca/Numbers:mainfrom

dependabot/github_actions/leanprover-community/lean-release-tag-9ca7ed09e240259871327bfc3a3a8d8c4bcb41aariccardobrasca/Numbers:dependabot/github_actions/leanprover-community/lean-release-tag-9ca7ed09e240259871327bfc3a3a8d8c4bcb41aaCopy head branch name to clipboard