14 commits

Author	SHA1	Message	Date
Dennis Felsing	c92423362e	Videorecorder on by default (also for github builds)	2022-03-01 22:56:24 +01:00
Dennis Felsing	e31f255a65	Use ninja instead of makefiles	2022-02-14 23:06:28 +01:00
ChillerDragon	48531661a3	erros typo and rephrase ... Thanks @edg-l	2021-08-21 11:49:28 +02:00
ChillerDragon	02abc95c18	Use consistent case for error messages ... Use the style introduced by @def- in 61e47422f6	2021-08-03 16:41:04 +02:00
def	13a8dfa307	Add pylint ... and fix occurences	2020-12-09 10:40:28 +01:00
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