A change was rebased and submitted on our Gerrit server. This also created patchset number 14 for the change. But the jenkins job for this change was not triggered. It triggerred correctly for changes 1-13.
Expected a job to be triggered in jenkins as we've configured it to trigger for all 'Patchset Created' events with no excludes.
We got this message shown in the Gerrit comments:
Change has been successfully rebased and submitted as <REDACTED> by <REDACTED>
When I query the list of changes from the Gerrit plugin interface in jenkins I can see my change listed.
I've also attached the job configuration for the gerrit trigger plugin.
I've verified in the Jenkins and Gerrit server logs that there were no exceptions/stacktraces around the time this change was merged. Also there was no reference to the last patchset anywhere in the logs.