Skip to content

add GitHub Action arm64 runners for Ubuntu #1328

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

peterbecich
Copy link
Contributor

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 😊

@peterbecich peterbecich marked this pull request as draft February 10, 2025 04:40
@peterbecich
Copy link
Contributor Author

ARM has an issue

@f-f
Copy link
Member

f-f commented Feb 10, 2025

I am not following - why would we want to run CI on arm64?

@peterbecich
Copy link
Contributor Author

Thanks, I should have included in description. It will ensure spago works well for any ARM Linux user.

@f-f
Copy link
Member

f-f commented Feb 11, 2025

It looks like purs itself has issues.

@peterbecich
Copy link
Contributor Author

Will investigate there: purescript/purescript#4565

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants