Skip to content

Conversation

chalin
Copy link
Contributor

@chalin chalin commented Nov 10, 2023

@chalin chalin added the CI/infra CI & infrastructure label Nov 10, 2023
@chalin chalin marked this pull request as draft November 10, 2023 22:38
@chalin
Copy link
Contributor Author

chalin commented Nov 10, 2023

Closing in favor of #1725

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI/infra CI & infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Automate the updating of vendor assets Ensure that versions of dependencies remain in sync
1 participant