Closed jrr closed 3 years ago
This PR reworks the CI config a bit. With these changes, it:
Edit: also linked the Readme's build badge to the build results page.
This PR reworks the CI config a bit. With these changes, it:
Edit: also linked the Readme's build badge to the build results page.