diff options
| author | jvoisin | 2025-07-15 22:05:51 +0200 |
|---|---|---|
| committer | jvoisin | 2025-07-15 22:05:51 +0200 |
| commit | 0184ba96d6087c6dca62ef6a996567e6d2e2bb9e (patch) | |
| tree | 214c3c69fb84934a9ec5c2462a918195e6703310 /.github/workflows/coverity.yml | |
| parent | 87c5fbe30b6d9adce299d261183ccd9f85b4fa1f (diff) | |
Bump actions/checkout from v3 to v4
Diffstat (limited to '.github/workflows/coverity.yml')
| -rw-r--r-- | .github/workflows/coverity.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index 5a289bf..5fb36fd 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml | |||
| @@ -9,7 +9,7 @@ jobs: | |||
| 9 | container: debian:stable | 9 | container: debian:stable |
| 10 | steps: | 10 | steps: |
| 11 | - name: Checkout code | 11 | - name: Checkout code |
| 12 | uses: actions/checkout@v3 | 12 | uses: actions/checkout@v4 |
| 13 | - name: Install dependencies | 13 | - name: Install dependencies |
| 14 | run: | | 14 | run: | |
| 15 | apt update | 15 | apt update |