Merge pull request #1318 from dubb-b/develop

Updating the Docs
This commit is contained in:
Megan Wilhite 2019-02-06 13:50:55 -05:00 committed by GitHub
commit 8c18b23628
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -96,7 +96,7 @@ a bug fix or feature implementation can be merged in.
### PR Tests
There are several Jenkins jobs that run on each Pull Request. Most of these are
There are several build jobs that run on each Pull Request. Most of these are
CI jobs that set up different steps, such as setting up the job, cloning the
repo from the PR, etc.