zig/.github
Loris Cro 5453ec86eb ci: only run CI on pull requests and master branch pushes
To get the CI to run on branches other than master, create a corresponding PR.
2022-11-23 03:00:39 +01:00
..
2020-07-11 18:33:56 -04:00