Closed InzeNL closed 2 weeks ago
To prevent any pull requests from merging when their build fails, we should use Github actions to build the project
To prevent any pull requests from merging when their build fails, we should use Github actions to build the project