Closed nickynicolson closed 2 years ago
This should cover both local compilations and the automated process managed by a github action.
This should cover both local compilations and the automated process managed by a github action.