From 371a7ff34b43adde425fee371ed83aeb9fb8a69e Mon Sep 17 00:00:00 2001 From: Albert Krewinkel Date: Tue, 1 Sep 2020 12:00:38 +0200 Subject: Remove Circle CI badge, references CI checks run on GitHub Actions now. --- CONTRIBUTING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CONTRIBUTING.md') diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d631700ac..20048f7f4 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -152,7 +152,7 @@ Please follow these guidelines: 10. We aim for compatibility with ghc versions from 8.0 to the latest release. All pull requests and commits are tested - automatically on CircleCI. + automatically on GitHub Actions. Tests ----- -- cgit v1.2.3