Skip to content

Conversation

aherrmann
Copy link
Owner

Closes #273

This reverts commit fddc80d.

I am no longer able to reproduce the issue. It is unclear what caused it. It may be worthwhile to inspect items cached in the remote cache for whether they carry references to the global or local Zig cache directory and if any of these pathnames are non-reproducible.

@aherrmann aherrmann enabled auto-merge April 23, 2024 21:00
@aherrmann aherrmann merged commit 80de8b6 into main Apr 23, 2024
@aherrmann aherrmann deleted the 0.12.0-zig-docs branch April 23, 2024 21:04
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 documentation generation occasionally fails with Zig >=0.12.0
1 participant