diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/development/PULL_REQUESTS.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/development/PULL_REQUESTS.md b/doc/development/PULL_REQUESTS.md index 313a885033..09428f057f 100644 --- a/doc/development/PULL_REQUESTS.md +++ b/doc/development/PULL_REQUESTS.md @@ -8,7 +8,7 @@ Before you submit a pull request, please remember to do the following: ## Code formatting -Make sure the code formatting and styling adheres to the guidelines. We use RuboCop for this. Lack of formatting adherence will result in automatic Travis build failures. +Make sure the code formatting and styling adheres to the guidelines. We use RuboCop for this. Lack of formatting adherence will result in automatic GitHub Actions build failures. $ bin/rubocop -a |