Skip to content
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

bump zig sdk + simplify zig build workaround #74

Closed
wants to merge 1 commit into from
Closed

Conversation

motiejus
Copy link
Collaborator

@motiejus motiejus commented May 17, 2023

From @jacobly in ziglang/zig#14815 (comment):

@motiejus to be clear, this unrelated issue is not affected by a cache
clear, and can be resolved by simply rerunning the build (and not
getting very unlucky again).

Zig notably fixes ziglang/zig#14815

From @jacobly in ziglang/zig#14815 (comment):

> @motiejus to be clear, this unrelated issue is not affected by a cache
> clear, and can be resolved by simply rerunning the build (and not
> getting very unlucky again).
@motiejus motiejus changed the title simplify zig build workaround bump zig sdk + simplify zig build workaround May 17, 2023
@motiejus motiejus closed this May 17, 2023
@motiejus motiejus deleted the workaround-ref branch May 17, 2023 09:30
@motiejus
Copy link
Collaborator Author

Replaced with #75

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.

zig prereq races as of 0.11.0-dev.1782+b52be973d
1 participant