diff options
Diffstat (limited to '.github')
| -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 |