Jaco Greeff 7d08b86801 Rename push.yml to pr.yml		2019-10-07 16:15:04 +02:00
..
workflows	Rename push.yml to pr.yml	2019-10-07 16:15:04 +02:00