Skip to content

Add zig.mirror.mschae23.de mirror #511

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

mschae23
Copy link

Using hexops/wrench.

@alexrp alexrp requested a review from mlugg August 3, 2025 19:56
@mschae23
Copy link
Author

mschae23 commented Aug 3, 2025

I'm going to be honest, I can't tell why the workflow failed – but it didn't even get to the “check mirrors” part, so I assume it isn't an issue on my side?

Edit: I guess it's ziglang.org removing the nightly build used for it?

@nektro
Copy link
Contributor

nektro commented Aug 3, 2025

yep

- name: Install Zig
# We can't use mlugg/setup-zig, because that Action uses the community mirror list, which
# this workflow is in the "supply chain" for. Instead, just directly fetch a tarball from
# ziglang.org. This is **not** a recommended strategy for most users, but rather a special
# case due to the role this repository plays in maintaining the mirror list.
run: |
curl -L 'https://ziglang.org/builds/zig-x86_64-linux-0.15.0-dev.885+e83776595.tar.xz' | tar -xJ
mv 'zig-x86_64-linux-0.15.0-dev.885+e83776595' zig
echo "$PWD/zig" >>"$GITHUB_PATH"

https://ziglang.org/builds/zig-x86_64-linux-0.15.0-dev.885+e83776595.tar.xz is 404ing

@mlugg
Copy link
Member

mlugg commented Aug 3, 2025

Yeah, sorry, I'll try and get that fixed up tomorrow!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants