Now that we've cleaned up lots of things that the linter would complain about, let's get the linter running as a default part of CI using GitHub Actions. Then add a more aggressive linter config (we can always relax it later) after fixing some things that it would complain about.
Note that this PR branch builds on top of the branches for #89, #90, and #91. Those branches can be merged separately, or all of the changes can be merged together by merging this PR. (The commits are all written to be reviewable separately.)
/cc @tgummerer and @ttaylorr as possible reviewers
Now that we've cleaned up lots of things that the linter would complain about, let's get the linter running as a default part of CI using GitHub Actions. Then add a more aggressive linter config (we can always relax it later) after fixing some things that it would complain about.
Note that this PR branch builds on top of the branches for #89, #90, and #91. Those branches can be merged separately, or all of the changes can be merged together by merging this PR. (The commits are all written to be reviewable separately.)
/cc @tgummerer and @ttaylorr as possible reviewers