5 Commits

Author	SHA1	Message	Date
Alex Bates	6cd56e72c1	fix lint failing on first commit to branch ... We now lint ALL files in the repository, not just those detected as changed in the commit (the procedure to do this failed when HEAD was exactly 1 commit ahead of the base branch). Also we now only lint pull requests, not in-progress pushes to any branch.	2020-10-13 20:53:45 +01:00
Alex Bates	b37ca1583c	ci: don't fail lint on first push to new branch	2020-08-24 13:53:19 +01:00
Alex Bates	54fc47a0eb	fix lint workflow	2020-08-19 23:33:22 +01:00
Alex Bates	0c318f87ab	add github action to lint on push/pr	2020-08-19 01:12:20 +01:00
Alex Bates	b5256e31ee	add astyle, update clang-tidy config	2020-08-19 01:11:25 +01:00