Skip to content

chore: exclude Zig 0.13.0 in automated update#510

Merged
aherrmann merged 1 commit intomainfrom
update-zig-exclusion
Sep 8, 2025
Merged

chore: exclude Zig 0.13.0 in automated update#510
aherrmann merged 1 commit intomainfrom
update-zig-exclusion

Conversation

@aherrmann
Copy link
Owner

Closes #509

Oversight in #502

@aherrmann aherrmann enabled auto-merge September 8, 2025 06:47
@aherrmann aherrmann merged commit 4e8d9b1 into main Sep 8, 2025
13 checks passed
@aherrmann aherrmann deleted the update-zig-exclusion branch September 8, 2025 06:53
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