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

update_ref_docs fails on an arm machine #13816

Merged
merged 3 commits into from
Sep 5, 2023
Merged

update_ref_docs fails on an arm machine #13816

merged 3 commits into from
Sep 5, 2023

Conversation

ericvn
Copy link
Contributor

@ericvn ericvn commented Sep 5, 2023

Please provide a description for what this PR is for.

The make update_ref_docs as part of the branching failed since I did that on my arm machine.

This PR fixes the code to run on my arm machine and then runs make update_ref_docs the generate the files that were inadvertently deleted.

@ericvn ericvn requested review from a team as code owners September 5, 2023 18:11
@istio-testing istio-testing added the size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files. label Sep 5, 2023
@istio-testing istio-testing merged commit fbb5c8d into master Sep 5, 2023
5 checks passed
@istio-testing istio-testing deleted the updateRefDcos branch September 5, 2023 19:10
istio-testing pushed a commit that referenced this pull request Sep 6, 2023
* Sync and fix format

* Fix format
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
size/XXL Denotes a PR that changes 1000+ lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants