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

Internal: delete arm64 configs since we have renamed them to aarch64 #1451

Merged
merged 3 commits into from
Oct 4, 2023

Conversation

martijnvans
Copy link
Contributor

@martijnvans martijnvans commented Oct 2, 2023

Description

Remove some unused configs. We switched over to aarch64 a few days ago, and that is now working. Time to delete the old configs.

Related issue

b/288442211

How has this been tested?

I tested yesterday that builds/tests from Rapid are working, and presubmits are working too. So we can get rid of these unused configs now.

Checklist:

  • Unit tests
    • Unit tests do not apply.
    • Unit tests have been added/modified and passed for this PR.
  • Integration tests
    • Integration tests do not apply.
    • Integration tests have been added/modified and passed for this PR.
  • Documentation
    • This PR introduces no user visible changes.
    • This PR introduces user visible changes and the corresponding documentation change has been made.
  • Minor version bump
    • This PR introduces no new features.
    • This PR introduces new features, and there is a separate PR to bump the minor version since the last release already.
    • This PR bumps the version.

@martijnvans martijnvans changed the title Internal: delete arm64 configs since we have renamed them to aarch64 Internal: delete arm64 configs since we have renamed them to aarch64 Oct 2, 2023
@martijnvans martijnvans marked this pull request as ready for review October 4, 2023 15:18
@martijnvans martijnvans merged commit e4c5882 into master Oct 4, 2023
31 of 60 checks passed
@martijnvans martijnvans deleted the martijnvans-delete-arm64-configs branch October 4, 2023 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants