Closed GerwinBosch closed 6 months ago
We should set up a building/testing pipeline using GitHub Actions. This will make testing/maintaining the repository easier
We should set up a building/testing pipeline using GitHub Actions. This will make testing/maintaining the repository easier