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.

Sign up for GitHub

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

Jump to bottom

Fix additional schema paths #1158

Merged
merged 1 commit into from
Nov 20, 2023
Merged

Fix additional schema paths #1158

merged 1 commit into from
Nov 20, 2023

Conversation

danielrbradley
Copy link
Member

@danielrbradley danielrbradley commented Nov 20, 2023 •
edited
Loading

  • Fix reference in the last step of the release.
  • Fix in docs too.
  • Remove obsolete travis build badge.

Fixes pulumi/registry#3533

@danielrbradley
Fix additional schema paths
2224468 
- Remove obsolete travis build badge.
@danielrbradley danielrbradley self-assigned this Nov 20, 2023
desteves
desteves approved these changes Nov 20, 2023
View reviewed changes
Copy link

@desteves desteves left a comment

Choose a reason for hiding this comment

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

LGTM

@desteves desteves mentioned this pull request Nov 20, 2023
Closed
@danielrbradley danielrbradley merged commit 827e3e1 into master Nov 20, 2023
9 checks passed
@danielrbradley danielrbradley deleted the schema-paths branch November 20, 2023 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@desteves desteves desteves approved these changes

Assignees

@danielrbradley danielrbradley

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Workflow failure: provider docs build
2 participants
@danielrbradley @desteves