Skip to content

Commit d35cf19

Browse files
Remove CircleCI (#8867)
* Remove CircleCI * some text updates * Clean up required jobs * add minimal circleci file
1 parent adff849 commit d35cf19

15 files changed

+13
-1865
lines changed

.circleci/cancel_workflow.sh

Lines changed: 0 additions & 4 deletions
This file was deleted.

.circleci/checkout_merge_commit.sh

Lines changed: 0 additions & 19 deletions
This file was deleted.

.circleci/collect_libs.sh

Lines changed: 0 additions & 18 deletions
This file was deleted.

0 commit comments

Comments
 (0)