Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
squash: fixup
  • Loading branch information
LiviaMedeiros committed Aug 4, 2022
commit 57e4b895c2a8f22e24d6f15d143cc8acc1603c75
6 changes: 3 additions & 3 deletions doc/contributing/collaborator-guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -253,9 +253,9 @@ current job but re-run everything else. Start a fresh CI if more than seven days
have elapsed since the original failing CI as the compiled binaries for the
Windows and ARM platforms are only kept for seven days.

If new commits are pushed to the pull request branch after the latest Jenkins CI run,
a fresh CI run is required. It can be started by pressing "Retry" on the left
sidebar, or by adding the `request-ci` label to the pull request.
If new commits are pushed to the pull request branch after the latest Jenkins
CI run, a fresh CI run is required. It can be started by pressing "Retry" on
the left sidebar, or by adding the `request-ci` label to the pull request.

#### Useful Jenkins CI jobs

Expand Down