13 commits

Author	SHA1	Message	Date
Arun Prakash Jana	9b921761b6	Update CI name	2023-09-23 08:21:20 +05:30
NRK	cf68675478	attempt at fixing macos CI	2023-01-10 14:19:00 +06:00
Arun Prakash Jana	7330e6642b	Prepare for release v4.7 Cuba libre	2022-11-24 10:58:21 +05:30
LGTM Migrator	66fd131f2d	Add CodeQL workflow for GitHub code scanning	2022-11-09 15:46:24 +00:00
NRK	fd69fc2dca	make it easy to check for failing patches locally ... adds a script `check-patches.sh` to check for patch failures and also adds a make target `checkpatches` which will invoke the check-patches script.	2022-07-01 05:47:23 +06:00
Arun Prakash Jana	0c626d49a6	Revert "Add bookmarknav patch" ... This reverts commit fbd6f69f25.	2022-06-14 17:43:50 +05:30
Luuk van Baal	fbd6f69f25	Add bookmarknav patch	2022-06-11 19:44:44 +02:00
Luuk van Baal	3072aa7891	Update patch conflict instructions/workflow	2022-05-31 11:07:31 +02:00
Luuk van Baal	bb604bdf1d	Move patch ci to ubuntu	2022-05-30 19:45:28 +02:00
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