Markus Reiter ae39694630 Refactor CI setup. (#87398)		2020-08-12 23:47:11 +02:00
..
changed_files.rb	Refactor CI setup. (#87398)	2020-08-12 23:47:11 +02:00
check.rb	Refactor CI setup. (#87398)	2020-08-12 23:47:11 +02:00
ci_matrix.rb	Refactor CI setup. (#87398)	2020-08-12 23:47:11 +02:00
generate-matrix.rb	Refactor CI setup. (#87398)	2020-08-12 23:47:11 +02:00