Skip to content
This repository was archived by the owner on Apr 24, 2021. It is now read-only.

Remove circleci #139

Merged
merged 1 commit into from
Apr 20, 2021
Merged

Remove circleci #139

merged 1 commit into from
Apr 20, 2021

Conversation

chenglou
Copy link
Member

Save @cristianoc money, now that we achieved CI parity with github actions

Save @cristianoc money, now that we achieved CI parity with github actions
@cristianoc cristianoc merged commit 7ce09e3 into master Apr 20, 2021
@cristianoc cristianoc deleted the no-more-circleci branch April 20, 2021 14:36
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