diff options
| author | jvoisin | 2023-01-24 15:09:32 +0100 |
|---|---|---|
| committer | jvoisin | 2023-01-24 15:09:32 +0100 |
| commit | ff565487467cc8c8dcebb7d93c21079449399a37 (patch) | |
| tree | 09fd9bd5b423d366ec80d6374ba9df907dfbd7b0 /.github/workflows/coverity.yml | |
| parent | 1bf0f3ec9088d34383c564d6306901ae6dc94cb5 (diff) | |
Bump actions/checkout version
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 d83aa9f..5a289bf 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@v2 | 12 | uses: actions/checkout@v3 |
| 13 | - name: Install dependencies | 13 | - name: Install dependencies |
| 14 | run: | | 14 | run: | |
| 15 | apt update | 15 | apt update |