8 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	130ebd5401	ci: fix coverage	2020-08-20 17:06:48 +01:00
Alex Bates	4f2261c5d9	resolve conflicts with master	2020-08-20 17:02:57 +01:00
Alex Bates	54fc47a0eb	fix lint workflow	2020-08-19 23:33:22 +01:00
Alex Bates	cc7cd275e6	ci: require matched asm files are deleted	2020-08-19 01:53:24 +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