Closed cmungall closed 4 years ago
We need to discuss how makefiles and github actions dovetail...
Any further changes should be done in github actions. Do we still want to support a make file?
Closed as any additional makefile work needs to start afresh
We need to discuss how makefiles and github actions dovetail...