Skip to content

Commit 8a314e8

Browse files
tautschnigtautschnig
authored
Merge pull request #7245 from tautschnig/cleanup/checkout-v3
GitHub actions: use checkout v3
2 parents f286ec9 + d68e509 commit 8a314e8

File tree

9 files changed

+30
-30
lines changed

9 files changed

+30
-30
lines changed

‎.github/workflows/build-and-test-Linux.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ jobs:
99
CompileLinux:
1010
runs-on: ubuntu-20.04
1111
steps:
12-
- uses: actions/checkout@v2
12+
- uses: actions/checkout@v3
1313
with:
1414
submodules: true
1515
- name: Install Packages

‎.github/workflows/build-and-test-Xen.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ jobs:
88
CompileXen:
99
runs-on: ubuntu-20.04
1010
steps:
11-
- uses: actions/checkout@v2
11+
- uses: actions/checkout@v3
1212
with:
1313
submodules: true
1414
- name: Install Packages

‎.github/workflows/codeql-analysis.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222

2323
steps:
2424
- name: Checkout repository
25-
uses: actions/checkout@v2
25+
uses: actions/checkout@v3
2626
with:
2727
submodules: recursive
2828

‎.github/workflows/csmith.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ jobs:
88
run-10-random-tests:
99
runs-on: ubuntu-20.04
1010
steps:
11-
- uses: actions/checkout@v2
11+
- uses: actions/checkout@v3
1212
with:
1313
submodules: recursive
1414
- name: Fetch dependencies

‎.github/workflows/doxygen-check.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ jobs:
77
check-doxygen:
88
runs-on: ubuntu-20.04
99
steps:
10-
- uses: actions/checkout@v2
10+
- uses: actions/checkout@v3
1111
- name: Fetch dependencies
1212
env:
1313
# This is needed in addition to -yq to prevent apt-get from asking for

‎.github/workflows/publish.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ jobs:
66
runs-on: ubuntu-latest
77
steps:
88
- name: Checkout repository
9-
uses: actions/checkout@v2
9+
uses: actions/checkout@v3
1010

1111
- name: Install doxygen
1212
run: sudo apt install doxygen graphviz pandoc

‎.github/workflows/pull-request-checks.yaml‎

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ jobs:
99
check-ubuntu-20_04-make-gcc:
1010
runs-on: ubuntu-20.04
1111
steps:
12-
- uses: actions/checkout@v2
12+
- uses: actions/checkout@v3
1313
with:
1414
submodules: recursive
1515
- name: Fetch dependencies
@@ -77,7 +77,7 @@ jobs:
7777
CC: "ccache /usr/bin/clang"
7878
CXX: "ccache /usr/bin/clang++"
7979
steps:
80-
- uses: actions/checkout@v2
80+
- uses: actions/checkout@v3
8181
with:
8282
submodules: recursive
8383
- name: Fetch dependencies
@@ -148,7 +148,7 @@ jobs:
148148
CC: "ccache /usr/bin/clang"
149149
CXX: "ccache /usr/bin/clang++"
150150
steps:
151-
- uses: actions/checkout@v2
151+
- uses: actions/checkout@v3
152152
with:
153153
submodules: recursive
154154
- name: Fetch dependencies
@@ -189,7 +189,7 @@ jobs:
189189
check-ubuntu-20_04-cmake-gcc:
190190
runs-on: ubuntu-20.04
191191
steps:
192-
- uses: actions/checkout@v2
192+
- uses: actions/checkout@v3
193193
with:
194194
submodules: recursive
195195
- name: Fetch dependencies
@@ -248,7 +248,7 @@ jobs:
248248
check-ubuntu-22_04-cmake-gcc:
249249
runs-on: ubuntu-22.04
250250
steps:
251-
- uses: actions/checkout@v2
251+
- uses: actions/checkout@v3
252252
with:
253253
submodules: recursive
254254
- name: Fetch dependencies
@@ -305,7 +305,7 @@ jobs:
305305
check-ubuntu-20_04-cmake-gcc-KNOWNBUG:
306306
runs-on: ubuntu-20.04
307307
steps:
308-
- uses: actions/checkout@v2
308+
- uses: actions/checkout@v3
309309
with:
310310
submodules: recursive
311311
- name: Fetch dependencies
@@ -352,7 +352,7 @@ jobs:
352352
check-ubuntu-20_04-cmake-gcc-THOROUGH:
353353
runs-on: ubuntu-20.04
354354
steps:
355-
- uses: actions/checkout@v2
355+
- uses: actions/checkout@v3
356356
with:
357357
submodules: recursive
358358
- name: Fetch dependencies
@@ -389,7 +389,7 @@ jobs:
389389
check-macos-11-make-clang:
390390
runs-on: macos-11
391391
steps:
392-
- uses: actions/checkout@v2
392+
- uses: actions/checkout@v3
393393
with:
394394
submodules: recursive
395395
- name: Fetch dependencies
@@ -439,7 +439,7 @@ jobs:
439439
check-macos-12-cmake-clang:
440440
runs-on: macos-12
441441
steps:
442-
- uses: actions/checkout@v2
442+
- uses: actions/checkout@v3
443443
with:
444444
submodules: recursive
445445
- name: Fetch dependencies
@@ -483,7 +483,7 @@ jobs:
483483
env:
484484
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
485485
steps:
486-
- uses: actions/checkout@v2
486+
- uses: actions/checkout@v3
487487
with:
488488
submodules: recursive
489489
- uses: nuget/setup-nuget@v1
@@ -535,7 +535,7 @@ jobs:
535535
env:
536536
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
537537
steps:
538-
- uses: actions/checkout@v2
538+
- uses: actions/checkout@v3
539539
with:
540540
submodules: recursive
541541
- uses: nuget/setup-nuget@v1
@@ -600,7 +600,7 @@ jobs:
600600
check-clang-format:
601601
runs-on: ubuntu-20.04
602602
steps:
603-
- uses: actions/checkout@v2
603+
- uses: actions/checkout@v3
604604
with:
605605
submodules: recursive
606606
fetch-depth: 0
@@ -621,7 +621,7 @@ jobs:
621621
check-cpplint:
622622
runs-on: ubuntu-20.04
623623
steps:
624-
- uses: actions/checkout@v2
624+
- uses: actions/checkout@v3
625625
with:
626626
submodules: recursive
627627
fetch-depth: 0
@@ -644,7 +644,7 @@ jobs:
644644
env:
645645
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
646646
steps:
647-
- uses: actions/checkout@v2
647+
- uses: actions/checkout@v3
648648
with:
649649
submodules: recursive
650650
- uses: nuget/setup-nuget@v1
@@ -692,7 +692,7 @@ jobs:
692692
env:
693693
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
694694
steps:
695-
- uses: actions/checkout@v2
695+
- uses: actions/checkout@v3
696696
with:
697697
submodules: recursive
698698
- name: Fetch dependencies
@@ -760,14 +760,14 @@ jobs:
760760
check-string-table:
761761
runs-on: ubuntu-20.04
762762
steps:
763-
- uses: actions/checkout@v2
763+
- uses: actions/checkout@v3
764764
- name: Check for unused irep ids
765765
run: ./scripts/string_table_check.sh
766766

767767
check-docker-image:
768768
runs-on: ubuntu-20.04
769769
steps:
770-
- uses: actions/checkout@v2
770+
- uses: actions/checkout@v3
771771
with:
772772
submodules: recursive
773773
- name: Download test dependencies
@@ -791,7 +791,7 @@ jobs:
791791
runs-on: ubuntu-20.04
792792
steps:
793793
- name: Clone repository
794-
uses: actions/checkout@v2
794+
uses: actions/checkout@v3
795795
with:
796796
submodules: recursive
797797
- name: Download testing and coverage dependencies

‎.github/workflows/regular-release.yaml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ jobs:
2828
needs: get-version-information
2929
steps:
3030
- name: Checkout code
31-
uses: actions/checkout@v2
31+
uses: actions/checkout@v3
3232
- name: Create release
3333
uses: actions/create-release@v1
3434
env:

‎.github/workflows/release-packages.yaml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ jobs:
1111
env:
1212
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
1313
steps:
14-
- uses: actions/checkout@v2
14+
- uses: actions/checkout@v3
1515
with:
1616
submodules: recursive
1717
- name: Fetch dependencies
@@ -86,7 +86,7 @@ jobs:
8686
env:
8787
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
8888
steps:
89-
- uses: actions/checkout@v2
89+
- uses: actions/checkout@v3
9090
with:
9191
submodules: recursive
9292
- name: Fetch dependencies
@@ -189,7 +189,7 @@ jobs:
189189
HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }}
190190
- name: Checkout CBMC project source code to obtain access to scripts
191191
if: always()
192-
uses: actions/checkout@v2
192+
uses: actions/checkout@v3
193193
- name: Install golang toolchain to run the notification step
194194
if: always()
195195
run: brew install go
@@ -207,7 +207,7 @@ jobs:
207207
env:
208208
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
209209
steps:
210-
- uses: actions/checkout@v2
210+
- uses: actions/checkout@v3
211211
with:
212212
submodules: recursive
213213
- uses: nuget/setup-nuget@v1
@@ -301,7 +301,7 @@ jobs:
301301
runs-on: ubuntu-20.04
302302
steps:
303303
- name: Checkout CBMC source
304-
uses: actions/checkout@v2
304+
uses: actions/checkout@v3
305305
with:
306306
submodules: recursive
307307
- name: Set Image Tag

0 commit comments

Comments
 (0)