4 Commits

Author	SHA1	Message	Date
Jordan Rose	944e44c074	GitHub: Speed up checking out a repository when linting ... We only need two commits: the merge commit and the base ref.	2020-10-23 16:01:18 -07:00
Jordan Rose	a96afb8d33	GitHub: Clarify linting error to refer to precommit.py ... ...instead of just clang-format, since precommit.py does other linting as well.	2020-09-30 11:32:17 -07:00
Nora Trapp	f05f2ff85f	Add lint action	2020-03-14 15:40:02 -07:00
Nora Trapp	96d7b843b5	Github CI test	2020-03-14 15:40:02 -07:00