Skip to content

Conversation

@blrchen
Copy link
Collaborator

@blrchen blrchen commented Jan 20, 2023

Reverts #972

@blrchen blrchen added the DO-NOT-MERGE The PR shall not be merged label Jan 20, 2023
@xiaoyongzhu xiaoyongzhu merged commit 0b4f5f3 into main Jan 20, 2023
@blrchen blrchen deleted the revert-972-rijai/ciworkflowcosmos branch February 8, 2023 09:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

DO-NOT-MERGE The PR shall not be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants