Skip to content

fix installing zig in github CI#24

Merged
MusicalNinjaDad merged 2 commits into
mainfrom
zig
May 1, 2026
Merged

fix installing zig in github CI#24
MusicalNinjaDad merged 2 commits into
mainfrom
zig

Conversation

@MusicalNinjaDad
Copy link
Copy Markdown
Owner

No description provided.

@MusicalNinjaDad MusicalNinjaDad merged commit b3aa40f into main May 1, 2026
9 checks passed
@MusicalNinjaDad MusicalNinjaDad deleted the zig branch May 1, 2026 18:10
Copy link
Copy Markdown

@sourcery-ai sourcery-ai Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hey - I've reviewed your changes and they look great!


Sourcery is free for open source - if you like our reviews please consider sharing them ✨
Help me be more useful! Please click 👍 or 👎 on each comment and I'll use the feedback to improve your reviews.

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