Skip to content

chore: cleanup ci#505

Merged
hanxiao merged 1 commit intomainfrom
chore-ci-cleanup
Aug 26, 2022
Merged

chore: cleanup ci#505
hanxiao merged 1 commit intomainfrom
chore-ci-cleanup

Conversation

@alaeddine-13
Copy link
Copy Markdown
Member

clean up CI pip installs

@hanxiao hanxiao merged commit 120135c into main Aug 26, 2022
@hanxiao hanxiao deleted the chore-ci-cleanup branch August 26, 2022 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants