Bump leanprover/lean-action from 1.3.0 to 1.4.0#11

dependabot[bot] wants to merge 1 commit into

mainCBirkbeck/LeanBridge:mainfrom

dependabot/github_actions/leanprover/lean-action-1.4.0CBirkbeck/LeanBridge:dependabot/github_actions/leanprover/lean-action-1.4.0Copy head branch name to clipboard