diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2020-09-01 12:00:38 +0200 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2020-09-01 12:00:38 +0200 |
commit | 371a7ff34b43adde425fee371ed83aeb9fb8a69e (patch) | |
tree | daca36fa3dbdb5ae739dd7abb9e9add455bec2c9 /CONTRIBUTING.md | |
parent | 1b865aaddfd4cd4e970307fa09cd6a0977bb8295 (diff) | |
download | pandoc-371a7ff34b43adde425fee371ed83aeb9fb8a69e.tar.gz |
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 ----- |