Skip to content

Commit 4125d3a

Browse files
authored
kill CircleCI (#7611)
1 parent 285500d commit 4125d3a

40 files changed

+1
-1682
lines changed

.circleci/.gitignore

-1
This file was deleted.

.circleci/build_docs/commit_docs.sh

-35
This file was deleted.

.circleci/config.yml

-271
This file was deleted.

0 commit comments

Comments
 (0)