Tanguy Cizain 008dcf7043 Faster CI (#603) ... * ci on PR only * add option to run ci manually * thanks Stefan		2021-07-13 10:26:49 +02:00
..
workflows	Faster CI (#603)	2021-07-13 10:26:49 +02:00