Skip to content

Commit

Permalink
chore: Update to actions/checkout@v4 (#910)
Browse files Browse the repository at this point in the history
  • Loading branch information
tottoto committed Mar 8, 2024
1 parent a8e8c9d commit 7c04d97
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ jobs:
rustfmt:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
with:
components: rustfmt
Expand All @@ -25,7 +25,7 @@ jobs:
machete:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
- name: install cargo-machete
uses: baptiste0928/cargo-install@v2
Expand All @@ -46,7 +46,7 @@ jobs:
- macos-latest
- windows-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- name: install toolchain (${{ matrix.toolchain }})
uses: dtolnay/rust-toolchain@master
with:
Expand Down Expand Up @@ -81,7 +81,7 @@ jobs:
kani:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- name: Verify with Kani
uses: model-checking/kani-github-action@v0.32
with:
Expand All @@ -101,7 +101,7 @@ jobs:
no-std:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@nightly
- name: install protoc
uses: taiki-e/install-action@v2
Expand Down

0 comments on commit 7c04d97

Please sign in to comment.