Skip to content

Conversation

mkundu1
Copy link
Contributor

@mkundu1 mkundu1 commented Apr 26, 2022

No description provided.

@mkundu1 mkundu1 linked an issue Apr 26, 2022 that may be closed by this pull request
Copy link
Collaborator

@dnwillia-work dnwillia-work left a comment

Choose a reason for hiding this comment

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

Probably update the PR pipeline as well? It's separate.

@mkundu1 mkundu1 force-pushed the maint/doc-deployment-pat branch from 2de2970 to 561ba51 Compare April 26, 2022 14:38
@dnwillia-work dnwillia-work merged commit 4d42c0d into main Apr 26, 2022
@dnwillia-work dnwillia-work deleted the maint/doc-deployment-pat branch April 26, 2022 17:37
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.

nightly doc CI failed

2 participants