diff options
| author | jvoisin | 2025-10-28 16:19:15 +0100 |
|---|---|---|
| committer | jvoisin | 2025-10-28 16:21:49 +0100 |
| commit | d343089c0b7687ebe0a142941c12da7067a41d85 (patch) | |
| tree | 725374824ccf998045fb0e3571b01594aeee520d /.github/workflows/coverage.yaml | |
| parent | 41d3081c4ac0a79a4ad292957ead84f8477eaa55 (diff) | |
Use dustri.org instead of musl.cc to download the toolchain
Diffstat (limited to '.github/workflows/coverage.yaml')
| -rw-r--r-- | .github/workflows/coverage.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml index 778aa6b..8019a6c 100644 --- a/.github/workflows/coverage.yaml +++ b/.github/workflows/coverage.yaml | |||
| @@ -32,7 +32,7 @@ jobs: | |||
| 32 | key: musl | 32 | key: musl |
| 33 | - name: Downloading musl-based toolchain | 33 | - name: Downloading musl-based toolchain |
| 34 | if: steps.cache-musl.outputs.cache-hit != 'true' | 34 | if: steps.cache-musl.outputs.cache-hit != 'true' |
| 35 | run: wget --quiet https://musl.cc/x86_64-linux-musl-native.tgz | 35 | run: wget --quiet https://dustri.org/x86_64-linux-musl-native.tgz |
| 36 | - name: Extracting musl-based toolchain | 36 | - name: Extracting musl-based toolchain |
| 37 | if: steps.cache-musl.outputs.cache-hit != 'true' | 37 | if: steps.cache-musl.outputs.cache-hit != 'true' |
| 38 | run: tar xzf ./x86_64-linux-musl-native.tgz | 38 | run: tar xzf ./x86_64-linux-musl-native.tgz |