micrometer-metrics/micrometer-docs

Remove CircleCI

shakuzen opened this issue · 2 comments

The CircleCI config has become redundant to the GitHub Actions workflow introduced in #201

Re-opened to update the badge in the README.

I've also disabled CircleCI from trying to build this repository from the CircleCI UI. Otherwise, it was sending failed build notifications for each commit when it didn't find the expected CircleCI config file.