mirror of
https://github.com/django/django.git
synced 2025-07-07 11:19:12 +00:00
[4.0.x] Renamed Jenkins wiki page to CI.
Jenkins is no longer the only CI tool. Backport of b07ee98b27e58992fdc10fec0ec67e68ae1d272d from main
This commit is contained in:
parent
1af06ffaa5
commit
8761407a8f
@ -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::
|
||||
|
Loading…
x
Reference in New Issue
Block a user