Closed justinsb closed 2 weeks ago
/assign @barney-s
/lgtm /approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: barney-s
The full list of commands accepted by this bot can be found here.
The pull request process is described here
This gets us onto a more reproducible path than makefiles (IMO!)