Jenkins is no more

This commit is contained in:
Michalis Kargakis 2019-04-23 22:52:05 +01:00
parent 061c35b9b3
commit 6b91adc6c3
No known key found for this signature in database
GPG Key ID: F651AC3AF5C3A13E
1 changed files with 1 additions and 1 deletions

View File

@ -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