Pipeline replay can sometimes avoid a rebuild to update GitHub checks

The GitHub checks were somehow notified by an outdated failing build after the succeeding build. That prevented a release. Describe the workaround that Damien Duportal applied while Mark Waite and Adrien Lecharpentier were watching.

Testing done

Mark and Adrien reviewed the Pipeline replay while Damien was launching it. We confirmed that it worked as expected and the plugin BOM release was able to complete.

Submitter checklist

• Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
• Ensure that the pull request title represents the desired changelog entry
• Please describe what you did
• Link to relevant issues in GitHub or Jira
• Link to relevant pull requests, esp. upstream and downstream changes
• Ensure you have provided tests that demonstrate the feature works or the issue is fixed