From 48eec6db9c316257527f364c0de0fa538663a0ff Mon Sep 17 00:00:00 2001 From: Hiroshi SHIBATA Date: Fri, 6 Mar 2020 18:44:13 +0900 Subject: Use GitHub Actions instead of Travis CI on the doc --- doc/development/PULL_REQUESTS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/development/PULL_REQUESTS.md') 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 -- cgit v1.2.1