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

dependabot[bot] wants to merge 1 commit into

masterfpvandoorn/LeanCourse25:masterfrom

dependabot/github_actions/leanprover/lean-action-1.4.0fpvandoorn/LeanCourse25:dependabot/github_actions/leanprover/lean-action-1.4.0Copy head branch name to clipboard