Closed this issue 4 years ago · 0 comments
To prevent a recurrence of #358 (which took way too much time to debug for a trivial fix), we should add CI checks to confirm that make build has been run.
make build