aboutsummaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorAlbert Krewinkel <albert@zeitkraut.de>2020-09-01 12:00:38 +0200
committerAlbert Krewinkel <albert@zeitkraut.de>2020-09-01 12:00:38 +0200
commit371a7ff34b43adde425fee371ed83aeb9fb8a69e (patch)
treedaca36fa3dbdb5ae739dd7abb9e9add455bec2c9 /CONTRIBUTING.md
parent1b865aaddfd4cd4e970307fa09cd6a0977bb8295 (diff)
downloadpandoc-371a7ff34b43adde425fee371ed83aeb9fb8a69e.tar.gz
Remove Circle CI badge, references
CI checks run on GitHub Actions now.
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md2
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
-----