Bump actions/checkout to v3 (model-checking#1990)

tautschnig · Dec 13, 2022 · 2511298 · 2511298
1 parent deecd14
commit 2511298
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 12 deletions.
diff --git a/.github/workflows/audit.yml b/.github/workflows/audit.yml
@@ -16,7 +16,7 @@ jobs:
   audit:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
       - uses: EmbarkStudios/cargo-deny-action@v1
         with:
           arguments: --all-features --workspace

diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml
@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Execute copyright check
         run: ./scripts/ci/run-copyright-check.sh
@@ -33,7 +33,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup

diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -20,7 +20,7 @@ jobs:
         os: [macos-11, ubuntu-18.04, ubuntu-20.04]
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
@@ -39,7 +39,7 @@ jobs:
       KANI_ENABLE_UNSOUND_EXPERIMENTS: 1
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
@@ -56,7 +56,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
@@ -75,7 +75,7 @@ jobs:
       contents: write
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
@@ -124,7 +124,7 @@ jobs:
             artifact: kani-latest-x86_64-unknown-linux-gnu.tar.gz
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -17,7 +17,7 @@ jobs:
       upload_url: ${{ steps.create_release.outputs.upload_url }}
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Get version
         run: |
@@ -66,7 +66,7 @@ jobs:
             target: x86_64-unknown-linux-gnu
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup
@@ -99,7 +99,7 @@ jobs:
       target: x86_64-unknown-linux-gnu
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup

diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml
@@ -16,7 +16,7 @@ jobs:
         os: [macos-11, ubuntu-18.04, ubuntu-20.04]
     steps:
       - name: Checkout Kani
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Setup Kani Dependencies
         uses: ./.github/actions/setup