Skip to content

Commit 1725885

Browse files
committed
Delete CircleCI config
We currently build on GitHub Actions. We have, we think, successfully disabled building on CircleCI. A dummy please-skip-building-me config should be no longer necessary.
1 parent 090ed74 commit 1725885

File tree

1 file changed

+0
-52
lines changed

1 file changed

+0
-52
lines changed

.circleci/config.yml

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

0 commit comments

Comments
 (0)