9 commits

Author	SHA1	Message	Date
def	458c752ee7	Put style checks into individual steps	2020-12-08 15:02:16 +01:00
ChillerDragon	f2c834e881	Add shellcheck to ci	2020-12-08 15:02:16 +01:00
def	0822f9cecd	Add check_dilate	2020-11-24 11:15:24 +01:00
def	5b24e95b29	Check translations in github, check formatting strings, fix	2020-11-12 08:57:20 +01:00
heinrich5991	bf576de5b6	check_style CI no longer needs git history	2020-10-13 23:33:51 +02:00
heinrich5991	678b2b15c3	Change fix_style.py script to unconditionally format everything	2020-09-26 21:41:24 +02:00
heinrich5991	b235637713	Find the common ancestor for the style checking ... This allows the style checker to only look at the changes done in the current branch, and not the other commits that were done in the base branch.	2020-09-11 00:57:03 +02:00
def	d92e6ecb00	Use check_header_guards script	2020-09-11 00:03:31 +02:00
heinrich5991	0a2eab6a10	CI: Check style on pull requests	2020-09-10 04:11:58 +02:00