1
0
Fork
You've already forked rowm
0

ci: fix zig installation #2

Merged
romaintb merged 3 commits from ci/fix_zig_setup into main 2025年12月30日 12:02:25 +01:00
No description provided.
ci: fix zig installation
Some checks failed
CI / lint (pull_request) Failing after 22s
CI / build (pull_request) Failing after 35s
b7bdf9f234
romaintb force-pushed ci/fix_zig_setup from 43c838ddb2
Some checks failed
CI / lint (pull_request) Failing after 21s
CI / build (pull_request) Failing after 37s
to 3726ef2c67
Some checks failed
CI / lint (pull_request) Successful in 18s
CI / build (pull_request) Failing after 35s
2025年12月30日 11:55:01 +01:00 Compare
ci: use zig 0.15.2 for now, add missing libs to ci env
All checks were successful
CI / lint (pull_request) Successful in 19s
CI / build (pull_request) Successful in 1m5s
91879948b7
romaintb deleted branch ci/fix_zig_setup 2025年12月30日 12:02:25 +01:00
Sign in to join this conversation.
No reviewers
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
romaintb/rowm!2
Reference in a new issue
romaintb/rowm
No description provided.
Delete branch "ci/fix_zig_setup"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?