whitequark 127fce8f48 CI: run on pull requests as well, not just pushes.		2020-07-14 00:25:11 +00:00
..
workflows	CI: run on pull requests as well, not just pushes.	2020-07-14 00:25:11 +00:00