diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-01-13 05:03:10 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-01-13 05:03:10 +0000 |
| commit | 9b46f3bb6499c263c9c81e7cea4815396bbbce14 (patch) | |
| tree | ab6ca2c31a68888b7c34f3b091e899054f3a56aa /src/tools/clippy/.github/workflows/clippy_dev.yml | |
| parent | 86190488cd05ffd48394d9d1c464d7f50ee19614 (diff) | |
| parent | f1f8687b06a5908dd096f51da32347b3313279db (diff) | |
| download | rust-9b46f3bb6499c263c9c81e7cea4815396bbbce14.tar.gz rust-9b46f3bb6499c263c9c81e7cea4815396bbbce14.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/clippy/.github/workflows/clippy_dev.yml')
| -rw-r--r-- | src/tools/clippy/.github/workflows/clippy_dev.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/.github/workflows/clippy_dev.yml b/src/tools/clippy/.github/workflows/clippy_dev.yml index 0f0e3f2db92..37f18a4c087 100644 --- a/src/tools/clippy/.github/workflows/clippy_dev.yml +++ b/src/tools/clippy/.github/workflows/clippy_dev.yml @@ -24,7 +24,7 @@ jobs: steps: # Setup - name: Checkout - uses: actions/checkout@v3 + uses: actions/checkout@v4 # Run - name: Build |