add GitHub Action `arm64` runners for Ubuntu
Description of the change
Run the GitHub Actions additionally on arm64 Ubuntu
https://github.blog/changelog/2025-01-16-linux-arm64-hosted-runners-now-available-for-free-in-public-repositories-public-preview/
TODO
Checklist:
- [ ] Added the change to the "Unreleased" section of the changelog
- [ ] Added some example of the new feature to the
README - [ ] Added a test for the contribution (if applicable)
P.S.: the above checks are not compulsory to get a change merged, so you may skip them. However, taking care of them will result in less work for the maintainers and will be much appreciated 😊
ARM has an issue
I am not following - why would we want to run CI on arm64?
Thanks, I should have included in description. It will ensure spago works well for any ARM Linux user.
It looks like purs itself has issues.
Will investigate there: https://github.com/purescript/purescript/pull/4565