chore: update actions/checkout in lake new template - #14984

chore: update actions/checkout in lake new template#14984

kt3k wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

kt3k:lake-init-update-checkout-actionskt3k/lean4:lake-init-update-checkout-actionsCopy head branch name to clipboard