diff options
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 ----- |