diff options
| author | jvoisin | 2023-09-04 20:50:21 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-04 20:50:21 +0200 |
| commit | 3df1d6a8d761f5c1a5d423c55f1275248a9ce637 (patch) | |
| tree | 1fa3a260a7adeaf297d0183a9168d9a3f4ce22f5 | |
| parent | 1403ff93afcdd3fea2d18a05b73a9dd11c81a21f (diff) | |
Install wget for the coverity workflow
| -rw-r--r-- | .github/workflows/coverity.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yaml b/.github/workflows/coverity.yaml index fc1b9de..10a211c 100644 --- a/.github/workflows/coverity.yaml +++ b/.github/workflows/coverity.yaml | |||
| @@ -13,7 +13,7 @@ jobs: | |||
| 13 | - name: Install dependencies | 13 | - name: Install dependencies |
| 14 | run: | | 14 | run: | |
| 15 | apt update | 15 | apt update |
| 16 | DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends curl ca-certificates make | 16 | DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends curl ca-certificates make wget |
| 17 | - name: Cache musl toolchain | 17 | - name: Cache musl toolchain |
| 18 | uses: actions/cache@v3 | 18 | uses: actions/cache@v3 |
| 19 | id: cache-musl | 19 | id: cache-musl |