diff options
| author | bors <bors@rust-lang.org> | 2024-04-24 15:08:09 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-24 15:08:09 +0000 |
| commit | 246ba3b808af7d0b6e515486fd734d04078e4d73 (patch) | |
| tree | 17a9a11c7f30efb62d5adf72cc3cd07a03c0d58c | |
| parent | f3dfaa73168a1d68c6e9cabcea42639381bb5a9d (diff) | |
| parent | 8b0ab42855453b54e53266f682c0e5b9c55f3f17 (diff) | |
| download | rust-246ba3b808af7d0b6e515486fd734d04078e4d73.tar.gz rust-246ba3b808af7d0b6e515486fd734d04078e4d73.zip | |
Auto merge of #3511 - obi1kenobi:patch-1, r=RalfJung
Upgrade to `actions/checkout@v4` in `ci.yml`. This is a newer version of the same action. None of the uses here were particularly special (no complex features of v3 were used) so this is a straightforward as-is upgrade.
| -rw-r--r-- | src/tools/miri/.github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/miri/.github/workflows/ci.yml b/src/tools/miri/.github/workflows/ci.yml index b0dab9f509d..73afd2a12a9 100644 --- a/src/tools/miri/.github/workflows/ci.yml +++ b/src/tools/miri/.github/workflows/ci.yml @@ -32,7 +32,7 @@ jobs: env: HOST_TARGET: ${{ matrix.host_target }} steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Show Rust version (stable toolchain) run: | @@ -85,7 +85,7 @@ jobs: name: style checks runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 # This is exactly duplicated from above. GHA is pretty terrible when it comes # to avoiding code duplication. @@ -191,7 +191,7 @@ jobs: The Miri Cronjobs Bot' # Attempt to auto-sync with rustc - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 256 # get a bit more of the history - name: install josh-proxy |