Closed justinsb closed 1 year ago
Note this won't pass yet, because we need to fix the issues (hence the stream of small PRs).
/hold
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: justinsb, thockin
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Builds on #786, adds a linter task to the makefile and a task to the github actions CI.
I think if we merge #786, then this will run in github actions CI.
Issue #777