From d343089c0b7687ebe0a142941c12da7067a41d85 Mon Sep 17 00:00:00 2001 From: jvoisin Date: Tue, 28 Oct 2025 16:19:15 +0100 Subject: Use dustri.org instead of musl.cc to download the toolchain --- .github/workflows/coverity.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github/workflows/coverity.yaml') diff --git a/.github/workflows/coverity.yaml b/.github/workflows/coverity.yaml index 10a211c..61cf9c2 100644 --- a/.github/workflows/coverity.yaml +++ b/.github/workflows/coverity.yaml @@ -22,7 +22,7 @@ jobs: key: musl - name: Downloading musl-based toolchain if: steps.cache-musl.outputs.cache-hit != 'true' - run: wget --quiet https://musl.cc/x86_64-linux-musl-native.tgz + run: wget --quiet https://dustri.org/x86_64-linux-musl-native.tgz - name: Extracting musl-based toolchain if: steps.cache-musl.outputs.cache-hit != 'true' run: tar xzf ./x86_64-linux-musl-native.tgz -- cgit v1.3