Renamed Jenkins wiki page to CI.

Jenkins is no longer the only CI tool.
This commit is contained in:
Mariusz Felisiak 2022-03-19 15:41:48 +01:00 committed by GitHub
parent 4b8e4f5060
commit b07ee98b27
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

View File

@ -20,11 +20,11 @@ best pull requests possible. In practice however, committers - who will likely
be more familiar with the commit guidelines - may decide to bring a commit up
to standard themselves.
You may want to have Jenkins test the pull request with one of the pull request
builders that doesn't run automatically, such as Oracle or Selenium. See the
`Jenkins wiki page`_ for instructions.
You may want to have Jenkins or GitHub actions test the pull request with one
of the pull request builders that doesn't run automatically, such as Oracle or
Selenium. See the `CI wiki page`_ for instructions.
.. _Jenkins wiki page: https://code.djangoproject.com/wiki/Jenkins
.. _CI wiki page: https://code.djangoproject.com/wiki/CI
If you find yourself checking out pull requests locally more often, this git
alias will be helpful::