Bump actions/checkout from 3 to 4 (#1652)

mit-plv · Sep 5, 2023 · 0bca21a · 0bca21a
1 parent dba0b22
commit 0bca21a
Show file tree

Hide file tree

Showing 11 changed files with 13 additions and 13 deletions.
diff --git a/.github/workflows/c.yml b/.github/workflows/c.yml
@@ -16,7 +16,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: install gcc

diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
@@ -27,7 +27,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: setup Debian chroot
@@ -86,7 +86,7 @@ jobs:
 
     steps:
     - name: checkout repo
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: setup Debian chroot

diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -24,7 +24,7 @@ jobs:
       SKIP_BEDROCK2: "0"
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: Set up OCaml

diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -29,7 +29,7 @@ jobs:
       OPAMCONFIRMLEVEL: "unsafe-yes"
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: Setup Python

diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
@@ -26,7 +26,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: echo host build params
@@ -109,7 +109,7 @@ jobs:
 
     steps:
     - name: checkout repo
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: Download a Build Artifact

diff --git a/.github/workflows/go.yml b/.github/workflows/go.yml
@@ -16,7 +16,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: Set up Go 1.13

diff --git a/.github/workflows/java.yml b/.github/workflows/java.yml
@@ -16,7 +16,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: Set up JDK 1.8

diff --git a/.github/workflows/json.yml b/.github/workflows/json.yml
@@ -16,7 +16,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         submodules: recursive
     - name: make only-test-json-files

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -16,7 +16,7 @@ jobs:
     - uses: hecrj/setup-rust-action@v1
       with:
         rust-version: ${{ matrix.rust }}
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Login to crates.io
       run: cargo login $CRATES_IO_TOKEN
       env:

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -16,7 +16,7 @@ jobs:
       cancel-in-progress: true
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: cargo build
       run: (cd fiat-rust; cargo build --verbose)
     - name: cargo test

diff --git a/.github/workflows/zig.yml b/.github/workflows/zig.yml
@@ -19,7 +19,7 @@ jobs:
         uses: goto-bus-stop/setup-zig@v2
         with:
           version: master
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Test Zig files
         run: (cd fiat-zig && zig build && zig build test)
       - name: Test Zig field inversion example