To be fair this has more to do with Github Actions than Github, which from the beginning was never really going to rival any professional solution.

The people at Zig should use proper CI tools and not something that a big service provider is offering as an afterthought.

Which professional solution do you prefer?

[dead]