GitHub actions for PRs and commits #14
Description
It would be useful for PRs and commits to be built automatically through GitHub Actions (either that, or a dedicated CI).
{{ message }}
It would be useful for PRs and commits to be built automatically through GitHub Actions (either that, or a dedicated CI).