5 commits

Author	SHA1	Message	Date
Oliver Blanthorn	1054c0d48f	Cheer up shellcheck	2020-09-28 11:55:14 +01:00
Oliver Blanthorn	2d42f3bd70	Fix #2810: run shellcheck if it is installed	2020-09-28 11:53:54 +01:00
Oliver Blanthorn	a18a173f21	Stop needless build for lint CI job	2020-07-19 13:14:57 +01:00
Oliver Blanthorn	01e7d50677	Fix typo	2020-07-19 13:13:50 +01:00
Dranaxel	6c0ba6ecd0	Add scripts to help people replicate CI	2020-07-19 13:05:34 +01:00