diff options
| author | Michalis Kargakis <kargakis@protonmail.ch> | 2019-04-23 22:52:05 +0100 |
|---|---|---|
| committer | Michalis Kargakis <kargakis@protonmail.ch> | 2019-04-23 22:52:05 +0100 |
| commit | 6b91adc6c38182e3db08303c43bb2219a52e6db2 (patch) | |
| tree | 4871c79f3671e8d64d0befca70d96003001202bd /contributors | |
| parent | 061c35b9b35558aca93401af5a1ced0d73f266d0 (diff) | |
Jenkins is no more
Diffstat (limited to 'contributors')
| -rw-r--r-- | contributors/devel/automation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contributors/devel/automation.md b/contributors/devel/automation.md index ccf2218a..bc0de2ec 100644 --- a/contributors/devel/automation.md +++ b/contributors/devel/automation.md @@ -40,7 +40,7 @@ reply with the `/ok-to-test` command on a single line to begin CI testing. ## FAQ: -#### How can I ask my PR to be tested again for Jenkins failures? +#### How can I ask my PR to be tested again for test failures? PRs should only need to be manually re-tested if you believe there was a flake during the original test. It would be good to file flakes as an |