commit 3df1d6a8d761f5c1a5d423c55f1275248a9ce637 parent 1403ff93afcdd3fea2d18a05b73a9dd11c81a21f Author: jvoisin <julien.voisin@dustri.org> Date: Mon, 4 Sep 2023 20:50:21 +0200 Install wget for the coverity workflow Diffstat:
M | .github/workflows/coverity.yaml | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/coverity.yaml b/.github/workflows/coverity.yaml @@ -13,7 +13,7 @@ jobs: - name: Install dependencies run: | apt update - DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends curl ca-certificates make + DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends curl ca-certificates make wget - name: Cache musl toolchain uses: actions/cache@v3 id: cache-musl