Skip to content

chore: update Zig versions up to 0.14.0#437

Merged
aherrmann merged 6 commits intomainfrom
zig-update-0.14.0
Mar 15, 2025
Merged

chore: update Zig versions up to 0.14.0#437
aherrmann merged 6 commits intomainfrom
zig-update-0.14.0

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Mar 10, 2025

  • Check that the automatic version replacements make sense.

@aherrmann aherrmann enabled auto-merge March 15, 2025 10:23
@aherrmann aherrmann merged commit d8b4910 into main Mar 15, 2025
63 checks passed
@aherrmann aherrmann deleted the zig-update-0.14.0 branch March 15, 2025 15: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.

1 participant