Skip to content

Commit 1251721

Browse files
authored
[doc] Add link to new Jenkins bot request list (#23828)
1 parent 926b760 commit 1251721

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

doc/_pages/jenkins.md

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,9 @@ For example:
2727
A list of Jenkins bot commands for experimental builds that covers the full
2828
set of continuous and nightly production jobs is available
2929
[here](https://github.com/RobotLocomotion/drake/blob/jenkins-jobs-experimental/request-jobs-experimental.txt).
30-
Both provisioned and unprovisioned jobs are listed.
30+
Both provisioned and unprovisioned jobs are listed. A subset of this list which
31+
excludes the jobs that normally run pre-merge is available
32+
[here](https://github.com/RobotLocomotion/drake/blob/jenkins-jobs-experimental/request-jobs-experimental-extra.txt).
3133

3234
To rerun all regular builds on an open pull request (if the previous build(s)
3335
failed for various reasons), comment:

0 commit comments

Comments
 (0)