Skip to content

Commit 7a554ce

Browse files
yimingyinqwqqyimingyinqwqq
authored
Merge branch 'model-checking:main' into main
2 parents a3dd5e0 + 21f3a28 commit 7a554ce

17 files changed

+81
-81
lines changed

‎.github/workflows/bench-compiler.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -26,14 +26,14 @@ jobs:
2626
echo "OLD_REF=${{ github.event.pull_request.base.sha }}" | tee -a "$GITHUB_ENV"
2727
echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV"
2828
- name: Check out Kani (old variant)
29-
uses: actions/checkout@v5
29+
uses: actions/checkout@v6
3030
with:
3131
path: ./old
3232
ref: ${{ env.OLD_REF }}
3333
fetch-depth: 2
3434

3535
- name: Check out Kani (new variant)
36-
uses: actions/checkout@v5
36+
uses: actions/checkout@v6
3737
with:
3838
path: ./new
3939
ref: ${{ env.NEW_REF }}
@@ -90,14 +90,14 @@ jobs:
9090
echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV"
9191
9292
- name: Check out Kani (old variant)
93-
uses: actions/checkout@v5
93+
uses: actions/checkout@v6
9494
with:
9595
path: ./old
9696
ref: ${{ env.OLD_REF }}
9797
fetch-depth: 2
9898

9999
- name: Check out Kani (new variant)
100-
uses: actions/checkout@v5
100+
uses: actions/checkout@v6
101101
with:
102102
path: ./new
103103
ref: ${{ env.NEW_REF }}

‎.github/workflows/bench-e2e.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,14 +32,14 @@ jobs:
3232
echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV"
3333
3434
- name: Check out Kani (old variant)
35-
uses: actions/checkout@v5
35+
uses: actions/checkout@v6
3636
with:
3737
path: ./old
3838
ref: ${{ env.OLD_REF }}
3939
fetch-depth: 2
4040

4141
- name: Check out Kani (new variant)
42-
uses: actions/checkout@v5
42+
uses: actions/checkout@v6
4343
with:
4444
path: ./new
4545
ref: ${{ env.NEW_REF }}

‎.github/workflows/cargo-update.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ jobs:
2222
runs-on: ubuntu-22.04
2323
steps:
2424
- name: Checkout Kani
25-
uses: actions/checkout@v5
25+
uses: actions/checkout@v6
2626

2727
- name: Setup Kani Dependencies
2828
uses: ./.github/actions/setup

‎.github/workflows/cbmc-latest.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ jobs:
2525
os: [macos-15-intel, ubuntu-22.04, ubuntu-24.04]
2626
steps:
2727
- name: Checkout Kani under "kani"
28-
uses: actions/checkout@v5
28+
uses: actions/checkout@v6
2929
with:
3030
path: kani
3131

@@ -36,7 +36,7 @@ jobs:
3636
kani_dir: 'kani'
3737

3838
- name: Checkout CBMC under "cbmc"
39-
uses: actions/checkout@v5
39+
uses: actions/checkout@v6
4040
with:
4141
repository: diffblue/cbmc
4242
path: cbmc
@@ -67,7 +67,7 @@ jobs:
6767
runs-on: ubuntu-24.04
6868
steps:
6969
- name: Checkout Kani under "kani"
70-
uses: actions/checkout@v5
70+
uses: actions/checkout@v6
7171
with:
7272
path: kani
7373

@@ -82,7 +82,7 @@ jobs:
8282
run: cargo build-dev -- --release
8383

8484
- name: Checkout CBMC under "cbmc"
85-
uses: actions/checkout@v5
85+
uses: actions/checkout@v6
8686
with:
8787
repository: diffblue/cbmc
8888
path: cbmc

‎.github/workflows/cbmc-update.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ jobs:
2323
runs-on: ubuntu-22.04
2424
steps:
2525
- name: Checkout Kani
26-
uses: actions/checkout@v5
26+
uses: actions/checkout@v6
2727

2828
- name: Setup Kani Dependencies
2929
uses: ./.github/actions/setup

‎.github/workflows/deny.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@ jobs:
1919
audit:
2020
runs-on: ubuntu-latest
2121
steps:
22-
- uses: actions/checkout@v5
22+
- uses: actions/checkout@v6
2323
with:
2424
submodules: recursive
2525
- name: Install rustup

‎.github/workflows/extra_jobs.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ jobs:
3636
runs-on: ubuntu-latest
3737
steps:
3838
- name: Checkout Kani
39-
uses: actions/checkout@v5
39+
uses: actions/checkout@v6
4040

4141
- name: Label PR
4242
id: labeler

‎.github/workflows/format-check.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ jobs:
1717
runs-on: ubuntu-latest
1818
steps:
1919
- name: Checkout Kani
20-
uses: actions/checkout@v5
20+
uses: actions/checkout@v6
2121

2222
- name: Execute copyright check
2323
run: ./scripts/ci/run-copyright-check.sh
@@ -36,7 +36,7 @@ jobs:
3636
runs-on: ubuntu-24.04
3737
steps:
3838
- name: Checkout Kani
39-
uses: actions/checkout@v5
39+
uses: actions/checkout@v6
4040

4141
- name: Setup Kani Dependencies
4242
uses: ./.github/actions/setup

‎.github/workflows/kani.yml‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ jobs:
2323
os: [macos-15-intel, ubuntu-22.04, ubuntu-24.04, macos-14, ubuntu-24.04-arm]
2424
steps:
2525
- name: Checkout Kani
26-
uses: actions/checkout@v5
26+
uses: actions/checkout@v6
2727

2828
- name: Setup Kani Dependencies
2929
uses: ./.github/actions/setup
@@ -39,7 +39,7 @@ jobs:
3939
contents: read
4040
steps:
4141
- name: Checkout Kani
42-
uses: actions/checkout@v5
42+
uses: actions/checkout@v6
4343

4444
- name: Install benchcomp dependencies
4545
run: |
@@ -64,7 +64,7 @@ jobs:
6464
contents: read
6565
steps:
6666
- name: Checkout Kani
67-
uses: actions/checkout@v5
67+
uses: actions/checkout@v6
6868

6969
- name: Setup Kani Dependencies
7070
uses: ./.github/actions/setup
@@ -82,7 +82,7 @@ jobs:
8282
contents: read
8383
steps:
8484
- name: Checkout Kani
85-
uses: actions/checkout@v5
85+
uses: actions/checkout@v6
8686

8787
- name: Setup Kani Dependencies
8888
uses: ./.github/actions/setup
@@ -108,7 +108,7 @@ jobs:
108108
contents: write
109109
steps:
110110
- name: Checkout Kani
111-
uses: actions/checkout@v5
111+
uses: actions/checkout@v6
112112
with:
113113
submodules: recursive
114114

‎.github/workflows/release.yml‎

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ jobs:
3232
crate_version: ${{ steps.bundle.outputs.crate_version }}
3333
steps:
3434
- name: Checkout code
35-
uses: actions/checkout@v5
35+
uses: actions/checkout@v6
3636

3737
- name: Setup Kani Dependencies
3838
uses: ./.github/actions/setup
@@ -55,7 +55,7 @@ jobs:
5555
crate_version: ${{ steps.bundle.outputs.crate_version }}
5656
steps:
5757
- name: Checkout code
58-
uses: actions/checkout@v5
58+
uses: actions/checkout@v6
5959

6060
- name: Setup Kani Dependencies
6161
uses: ./.github/actions/setup
@@ -78,7 +78,7 @@ jobs:
7878
crate_version: ${{ steps.bundle.outputs.crate_version }}
7979
steps:
8080
- name: Checkout code
81-
uses: actions/checkout@v5
81+
uses: actions/checkout@v6
8282

8383
- name: Setup Kani Dependencies
8484
uses: ./.github/actions/setup
@@ -101,7 +101,7 @@ jobs:
101101
crate_version: ${{ steps.bundle.outputs.crate_version }}
102102
steps:
103103
- name: Checkout code
104-
uses: actions/checkout@v5
104+
uses: actions/checkout@v6
105105

106106
- name: Setup Kani Dependencies
107107
uses: ./.github/actions/setup
@@ -188,7 +188,7 @@ jobs:
188188
fi
189189
190190
- name: Checkout tests
191-
uses: actions/checkout@v5
191+
uses: actions/checkout@v6
192192

193193
- name: Move rust-toolchain file to outside kani
194194
run: |
@@ -258,7 +258,7 @@ jobs:
258258
cargo kani setup --use-local-bundle ./${{ matrix.prev_job.bundle }}
259259
260260
- name: Checkout tests
261-
uses: actions/checkout@v5
261+
uses: actions/checkout@v6
262262

263263
- name: Run tests
264264
# TODO: Customize compiletest to run custom kani. For now, just run a few cargo kani tests.
@@ -282,7 +282,7 @@ jobs:
282282
upload_url: ${{ steps.create_release.outputs.upload_url }}
283283
steps:
284284
- name: Checkout code
285-
uses: actions/checkout@v5
285+
uses: actions/checkout@v6
286286

287287
- name: Get version
288288
run: |
@@ -346,7 +346,7 @@ jobs:
346346
target: x86_64-unknown-linux-gnu
347347
steps:
348348
- name: Checkout code
349-
uses: actions/checkout@v5
349+
uses: actions/checkout@v6
350350

351351
- name: Setup Kani Dependencies
352352
uses: ./.github/actions/setup

0 commit comments

Comments
 (0)