Merge pull request 'some CI script improvements' (#30177) from alexrp/zig:ci-stuff into master

Reviewed-on: https://codeberg.org/ziglang/zig/pulls/30177
d757d5e6b2Alex Rønne Petersen committed on 1/6/2026, 8:56:15 AMparents435b8416f2e7af
3 files changedLine totals unavailable