Pietro Albini c8f2dd0d3b Revert "ci: allow gating gha on everything but macOS" ... This reverts commit 8bc3122311.		2020-06-29 17:20:01 +02:00
..
ci.yml	Revert "ci: allow gating gha on everything but macOS"	2020-06-29 17:20:01 +02:00