update actions/checkout version

arthurpaulino · arthurpaulino · commit ca8e2803f89f · 2025-02-04T17:45:03.000-03:00
diff --git a/CI.lean b/CI.lean
@@ -16,7 +16,7 @@ jobs:
           curl -sSfL https://github.com/leanprover/elan/releases/download/v4.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
           ./elan-init -y --default-toolchain none
           echo \"$HOME/.elan/bin\" >> $GITHUB_PATH
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: run LSpec binary
         run: lake exe lspec
 "
diff --git a/README.md b/README.md
@@ -173,7 +173,7 @@ jobs:
           curl -sSfL https://github.com/leanprover/elan/releases/download/v4.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
           ./elan-init -y --default-toolchain none
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: run LSpec binary
         run: lake exe lspec
 ```

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ jobs:`
`16`	`16`	`curl -sSfL https://github.com/leanprover/elan/releases/download/v4.0.0/elan-x86_64-unknown-linux-gnu.tar.gz \| tar xz`
`17`	`17`	`./elan-init -y --default-toolchain none`
`18`	`18`	`echo \"$HOME/.elan/bin\" >> $GITHUB_PATH`
`19`		`- - uses: actions/checkout@v2`
	`19`	`+ - uses: actions/checkout@v4`
`20`	`20`	`- name: run LSpec binary`
`21`	`21`	`run: lake exe lspec`
`22`	`22`	`"`