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
Next Next commit
squash: fixup
Co-authored-by: Tobias Nießen <tniessen@tnie.de>
  • Loading branch information
LiviaMedeiros and tniessen authored Aug 4, 2022
commit 5b61784f9efe50322d46b958fb1843fd77385f4e
2 changes: 1 addition & 1 deletion doc/contributing/collaborator-guide.md
Original file line number Diff line number Diff line change
Expand Up @@ -253,7 +253,7 @@ 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 changes are made on the pull request branch after latest Jenkins CI run,
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 `request-ci` label to the pull request.
Comment thread
LiviaMedeiros marked this conversation as resolved.
Outdated

Expand Down