4 commits

Author	SHA1	Message	Date
N-R-K	1e98e2e126	improve patch conflict ci script ... goes through all different combinations automatically and makes adding another patch easier by simply putting the name into the patches array.	2022-05-30 17:43:41 +06:00
Luuk van Baal	0095948d8d	Add patch conflict workflow	2022-05-30 01:01:46 +02:00
Mischievous Meerkat	d0a7d61bd2	Integrate GH CI, retire Travis	2020-11-22 03:03:24 +05:30
Arun Prakash Jana	9b7b9d80be	Use lock workflow	2020-05-24 12:59:14 +05:30