Precompiled binaries

[mathstuf]

It'd be nice if there were pre-compiled binaries for use in CI pipelines (instead of building it manually).

[johnterickson]

@mathstuf is there a standard way of doing this? e.g. Do most folks use GitHub Releases or something?

[mathstuf]

GitHub releases for hosting would be perfect. As for providing them, I think GitHub Actions has some templates around (I mainly develop on GitLab-hosted projects, so I'm not that familiar with GHA processes for this).