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

Remove -v for pub get in CI#863

Merged
guidezpl merged 1 commit intomainfrom
Fix-build
Jan 13, 2023
Merged

Remove -v for pub get in CI#863
guidezpl merged 1 commit intomainfrom
Fix-build

Conversation

@guidezpl
Copy link
Copy Markdown
Member

This wasn't useful and removing it fixes CI.

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

@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