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.

Sign up for GitHub

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

Jump to bottom

Update CI to use zig 0.12.0 #28

Closed

JerwuQu wants to merge 2 commits into ZigEmbeddedGroup:main from JerwuQu:jwq_ci-zig-0.12.0

Contributor

JerwuQu commented Apr 21, 2024

No description provided.

JerwuQu added 2 commits

April 21, 2024 14:01


          ci: use zig 0.12.0

46ab9ad


          Update websocket.zig dep

c2d4472

JerwuQu marked this pull request as draft

April 21, 2024 14:06

Contributor Author

JerwuQu commented Apr 21, 2024

Perhaps this would have to wait until microzig is a url dependency in build.zig.zon.
Closing for now...

JerwuQu closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet