From 0bca21a7e9a16845b01ea67f23f24bb6ac06c50f Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 5 Sep 2023 00:32:48 +0000
Subject: [PATCH] Bump actions/checkout from 3 to 4 (#1652)

---
 .github/workflows/c.yml           | 2 +-
 .github/workflows/coq-debian.yml  | 4 ++--
 .github/workflows/coq-macos.yml   | 2 +-
 .github/workflows/coq-windows.yml | 2 +-
 .github/workflows/docker-coq.yml  | 4 ++--
 .github/workflows/go.yml          | 2 +-
 .github/workflows/java.yml        | 2 +-
 .github/workflows/json.yml        | 2 +-
 .github/workflows/publish.yml     | 2 +-
 .github/workflows/rust.yml        | 2 +-
 .github/workflows/zig.yml         | 2 +-
 11 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/c.yml b/.github/workflows/c.yml
index 5be98e51cf..5636ebae1b 100644
--- 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
index 0f3d1f9a02..009902a3df 100644
--- 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
index d8643a7fb7..aebadf42e9 100644
--- 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
index b234a69a4b..375c593c26 100644
--- 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
index c2e2808d3b..c2731cfcae 100644
--- 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
index 1bea3cbe83..66dfb8fa35 100644
--- 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
index 20c9e4ef92..d4acea8f57 100644
--- 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
index 5b638d93b7..1df3b0dd39 100644
--- 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
index 5817ed6027..8245764cab 100644
--- 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
index 9b66f6d940..94ce3a3863 100644
--- 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
index 0101669717..d620cb0555 100644
--- 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