chore: update actions/checkout action in lake new template#10845

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

template_actions_checkoutleanprover/lean4:template_actions_checkoutCopy head branch name to clipboard