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

Run registry docs command from correct file location #1085

Merged
merged 3 commits into from
Sep 30, 2024

Conversation

guineveresaenger
Copy link
Contributor

@guineveresaenger guineveresaenger commented Sep 27, 2024

Previous version was running make from provider folder. This is the correct location at repo root.

edited to add:
This is a followup to #1083. It is not for local development, although it can certainly be used that way.

#1083 was tested against pulumi/pulumi-venafi#433 locally; these changes allow it to run correctly.

@guineveresaenger guineveresaenger requested a review from a team September 27, 2024 16:11
@t0yv0
Copy link
Member

t0yv0 commented Sep 27, 2024

A few notes on how you tested this would be helpful!

Copy link
Member

@iwahbe iwahbe left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Does this mean that build_registry_docs was never exercised from CI?

Should we add a note that says this is for local development?

Can you please add a comment to build_registry_docs that explains what it does?

guineveresaenger added a commit to pulumi/pulumi-venafi that referenced this pull request Sep 30, 2024
guineveresaenger added a commit to pulumi/pulumi-venafi that referenced this pull request Sep 30, 2024
guineveresaenger added a commit to pulumi/pulumi-venafi that referenced this pull request Sep 30, 2024
@guineveresaenger
Copy link
Contributor Author

guineveresaenger commented Sep 30, 2024

@iwahbe - since this command is behind a flag as per #1083, it has not been run live in CI.
@t0yv0 - this commit reflects the changes of this in action, but won't run with ci-mgmt as-is.

I've added a comment to the Make target.

@guineveresaenger guineveresaenger added this pull request to the merge queue Sep 30, 2024
Merged via the queue into master with commit 24e3be4 Sep 30, 2024
6 checks passed
@guineveresaenger guineveresaenger deleted the guin/run-installation-from-provider-root branch September 30, 2024 21:17
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.

3 participants