leanprover
diff --git a/‎src/lake/Lake/CLI/Init.lean‎
Lines changed: 2 additions & 2 deletions b/‎src/lake/Lake/CLI/Init.lean‎
Lines changed: 2 additions & 2 deletions
@@ -231,7 +231,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v7
       - uses: leanprover/lean-action@v1
 "
 
@@ -254,7 +254,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v7
       - uses: leanprover/lean-action@v1
       - uses: leanprover-community/docgen-action@v1
 "
Original file line number	Diff line number	Diff line change
`@@ -231,7 +231,7 @@ jobs:`
`231`	`231`	`runs-on: ubuntu-latest`
`232`	`232`
`233`	`233`	`steps:`
`234`		`- - uses: actions/checkout@v5`
	`234`	`+ - uses: actions/checkout@v7`
`235`	`235`	`- uses: leanprover/lean-action@v1`
`236`	`236`	`"`
`237`	`237`
`@@ -254,7 +254,7 @@ jobs:`
`254`	`254`	`runs-on: ubuntu-latest`
`255`	`255`
`256`	`256`	`steps:`
`257`		`- - uses: actions/checkout@v5`
	`257`	`+ - uses: actions/checkout@v7`
`258`	`258`	`- uses: leanprover/lean-action@v1`
`259`	`259`	`- uses: leanprover-community/docgen-action@v1`
`260`	`260`	`"`