Use arm runners

Open leighmcculloch opened this issue 1 year ago • 2 comments

What

Use arm runners.

Why

More efficient arm builds without needing emulation.

Merging

Intended for merging to main after #621.

Jul 28 '24 22:07 leighmcculloch

This needs some more work. While this speeds up uncached builds so they only take 20 minutes instead of 2-3 hours, for cached builds there is very little difference in build time. That little difference in build time is however 7-14x more expensive because the builds are using non-free runners.

Jul 29 '24 10:07 leighmcculloch

This pull request is stale because it has been open for 30 days with no activity. It will be closed in 30 days unless the stale label is removed.

Aug 29 '24 18:08 github-actions[bot]

This pull request is stale because it has been open for 30 days with no activity. It will be closed in 30 days unless the stale label is removed.

Oct 03 '24 18:10 github-actions[bot]