fix: Use actions/checkout@v4

coq-community · Jul 14, 2024 · 851b9fd · 851b9fd
1 parent f62484a
commit 851b9fd
Show file tree

Hide file tree

Showing 4 changed files with 38 additions and 38 deletions.
diff --git a/.github/workflows/coq-demo.yml b/.github/workflows/coq-demo.yml
@@ -34,17 +34,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v2
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-demo.opam'
@@ -66,17 +66,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-demo.opam'
@@ -99,17 +99,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           # As the install/script/uninstall fields are overridden,
@@ -156,17 +156,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           custom_image: ${{ matrix.image }}
@@ -213,17 +213,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-demo.opam'
@@ -254,17 +254,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-depexts-test.opam'
@@ -287,17 +287,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-demo.opam'
@@ -331,17 +331,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-demo.opam'
@@ -390,17 +390,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         id: docker-coq-action
         env:

diff --git a/.github/workflows/gha-rt.yml b/.github/workflows/gha-rt.yml
@@ -17,11 +17,11 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       # BEGIN GHA_TEST_ENV
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/docker-coq-github-action-demo'
           ref: 'master'
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
@@ -42,13 +42,13 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         name: Run docker-coq-action, SHOULD FAIL
         continue-on-error: true
@@ -62,7 +62,7 @@ jobs:
           docker tag ubuntu:latest mock-image
       - uses: './docker-coq-action'
         ##################
-        # - uses: actions/checkout@v3
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         name: Run docker-coq-action, SHOULD SUCCEED
         with:

diff --git a/.github/workflows/python-demo.yml b/.github/workflows/python-demo.yml
@@ -29,17 +29,17 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           repository: 'erikmd/poc-github-ci'
           ref: 'master'
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v2
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           custom_image: 'python:3'
@@ -69,13 +69,13 @@ jobs:
       ################################################################
       # Begin GHA_TEST_ENV # You should remove this GHA_TEST_ENV block
       #                    # if you copy this demo workflow elsewhere!
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           path: 'docker-coq-action'
       - uses: './docker-coq-action'
         # End GHA_TEST_ENV
         ##################
-        # - uses: actions/checkout@v2
+        # - uses: actions/checkout@v4
         # - uses: coq-community/docker-coq-action@v1
         with:
           entrypoint: /bin/sh

diff --git a/.github/workflows/reviewdog.yml b/.github/workflows/reviewdog.yml
@@ -12,7 +12,7 @@ jobs:
     name: runner / shellcheck
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
 
       - name: shellcheck
         uses: reviewdog/action-shellcheck@v1