diff options
| author | Trivikram Kamat <16024985+trivikr@users.noreply.github.com> | 2024-09-09 06:49:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-09 06:49:03 -0700 |
| commit | 1185eb081aae651fc6324630ed01203f92100d02 (patch) | |
| tree | 8d2b93c9e8716e9266e27b0af767473a01e89920 /src/tools | |
| parent | 59cb24dc76eb999390541241cfc45217fe2f6326 (diff) | |
| download | rust-1185eb081aae651fc6324630ed01203f92100d02.tar.gz rust-1185eb081aae651fc6324630ed01203f92100d02.zip | |
ci: bump actions/checkout to v4
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/.github/workflows/sysroots.yml | 2 | ||||
| -rw-r--r-- | src/tools/miri/README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/.github/workflows/sysroots.yml b/src/tools/miri/.github/workflows/sysroots.yml index 73a10768db9..6a4f44ddd50 100644 --- a/src/tools/miri/.github/workflows/sysroots.yml +++ b/src/tools/miri/.github/workflows/sysroots.yml @@ -13,7 +13,7 @@ jobs: name: Build the sysroots runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Build the sysroots run: | cargo install -f rustup-toolchain-install-master diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index dbb0e8a2925..72555e8c40d 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -187,7 +187,7 @@ Here is an example job for GitHub Actions: name: "Miri" runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Install Miri run: | rustup toolchain install nightly --component miri |