chore: update actions/checkout action in lake new template

kim-em · kim-em · commit dd88ede2c996 · 2025-10-20T04:26:06.000+02:00
diff --git a/src/lake/Lake/CLI/Init.lean b/src/lake/Lake/CLI/Init.lean
@@ -239,7 +239,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: leanprover/lean-action@v1
 "
 
@@ -262,7 +262,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: leanprover/lean-action@v1
       - uses: leanprover-community/docgen-action@v1
 "

Original file line number	Diff line number	Diff line change
`@@ -239,7 +239,7 @@ jobs:`
`239`	`239`	`runs-on: ubuntu-latest`
`240`	`240`
`241`	`241`	`steps:`
`242`		`- - uses: actions/checkout@v4`
	`242`	`+ - uses: actions/checkout@v5`
`243`	`243`	`- uses: leanprover/lean-action@v1`
`244`	`244`	`"`
`245`	`245`
`@@ -262,7 +262,7 @@ jobs:`
`262`	`262`	`runs-on: ubuntu-latest`
`263`	`263`
`264`	`264`	`steps:`
`265`		`- - uses: actions/checkout@v4`
	`265`	`+ - uses: actions/checkout@v5`
`266`	`266`	`- uses: leanprover/lean-action@v1`
`267`	`267`	`- uses: leanprover-community/docgen-action@v1`
`268`	`268`	`"`