diff options
| author | Albert Krewinkel <[email protected]> | 2020-09-01 12:00:38 +0200 |
|---|---|---|
| committer | Albert Krewinkel <[email protected]> | 2020-09-01 12:00:38 +0200 |
| commit | 371a7ff34b43adde425fee371ed83aeb9fb8a69e (patch) | |
| tree | daca36fa3dbdb5ae739dd7abb9e9add455bec2c9 /CONTRIBUTING.md | |
| parent | 1b865aaddfd4cd4e970307fa09cd6a0977bb8295 (diff) | |
Remove Circle CI badge, references
CI checks run on GitHub Actions now.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
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 ----- |