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

Docs target should not depend on provider target #546

Merged
merged 1 commit into from
Mar 15, 2023

Conversation

guineveresaenger
Copy link
Contributor

@guineveresaenger guineveresaenger commented Mar 15, 2023

Removes circular dependency in Makefile, which prevented the schema-embed.json from being written correctly to cmd/pulumi-resource-docker in the publish step in CI.

We do not actually need for the docs build to depend on the provider build, sinc the docs are a prerequisite to generating the schema.

Fixes #545.

@github-actions
Copy link

Does the PR have any schema changes?

Looking good! No breaking changes found.
No new resources/functions.

@guineveresaenger guineveresaenger merged commit 930d965 into master Mar 15, 2023
@guineveresaenger guineveresaenger deleted the guin/fix-circular-dependency branch March 15, 2023 22:52
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.

Failing builds on default branch
2 participants