Dimitri Sabadie a33dbf9fde Activate CI for PRs, too.		2020-03-16 16:54:43 +01:00
..
workflows	Activate CI for PRs, too.	2020-03-16 16:54:43 +01:00