Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Add 64-bit Arm (Graviton) as a supported platform #3876

Merged
merged 1 commit into from
Oct 4, 2021

Conversation

SeanTAllen
Copy link
Member

We have CI for 64-bit Arm via Graviton. We know that at least
on the 64-bit Raspberry Pi that there are still issues.

@SeanTAllen SeanTAllen added the changelog - added Automatically add "Added" CHANGELOG entry on merge label Oct 2, 2021
@ponylang-main
Copy link
Contributor

Hi @SeanTAllen,

The changelog - added label was added to this pull request; all PRs with a changelog label need to have release notes included as part of the PR. If you haven't added release notes already, please do.

Release notes are added by creating a uniquely named file in the .release-notes directory. We suggest you call the file 3876.md to match the number of this pull request.

The basic format of the release notes (using markdown) should be:

## Title

End user description of changes, why it's important,
problems it solves etc.

If a breaking change, make sure to include 1 or more
examples what code would look like prior to this change
and how to update it to work after this change.

Thanks.

@SeanTAllen SeanTAllen requested review from ergl, jemc and a team October 2, 2021 23:23
@SeanTAllen SeanTAllen force-pushed the graviton-supported branch 2 times, most recently from b06dae2 to 1592941 Compare October 2, 2021 23:26
@SeanTAllen
Copy link
Member Author

The windows failure is one of our "its flakey" issues we've been having with the TCP tests with Windows lately.

@SeanTAllen SeanTAllen added the do not merge This PR should not be merged at this time label Oct 3, 2021
@SeanTAllen
Copy link
Member Author

Realized that I don't have the builder files included in this.

@SeanTAllen SeanTAllen force-pushed the graviton-supported branch 7 times, most recently from 0873415 to 5cadbf9 Compare October 3, 2021 14:18
We have CI for 64-bit Arm via Graviton. We know that at least
on the 64-bit Raspberry Pi that there are still issues.
@SeanTAllen SeanTAllen removed the do not merge This PR should not be merged at this time label Oct 3, 2021
@SeanTAllen SeanTAllen merged commit 6960172 into main Oct 4, 2021
@SeanTAllen SeanTAllen deleted the graviton-supported branch October 4, 2021 14:02
github-actions bot pushed a commit that referenced this pull request Oct 4, 2021
github-actions bot pushed a commit that referenced this pull request Oct 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog - added Automatically add "Added" CHANGELOG entry on merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants