Skip to content
This repository has been archived by the owner on Jun 13, 2024. It is now read-only.

Remove -v for pub get in CI #863

Merged
merged 1 commit into from
Jan 13, 2023
Merged

Remove -v for pub get in CI #863

merged 1 commit into from
Jan 13, 2023

Conversation

guidezpl
Copy link
Member

This wasn't useful and removing it fixes CI.

@guidezpl guidezpl requested a review from esouthren January 13, 2023 12:25
Copy link

@esouthren esouthren left a comment

Choose a reason for hiding this comment

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

LGTM!

@guidezpl guidezpl merged commit 5b1147b into main Jan 13, 2023
@guidezpl guidezpl deleted the Fix-build branch January 13, 2023 14:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants