diff options
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 |