Commit graph

14 commits

Author SHA1 Message Date
Arun Prakash Jana 191e77ec5d
Fix CI error 2024-04-28 20:37:53 +05:30
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