WikiReleaseTeam/Troubleshooting

Rerun a job
In case you need to rerun a job, there are two options. git tag -d 1.23.0 git push origin :refs/tags/1.23.0 and then re-add the tag
 * Log in to Jenkins, go to the build page and click on "Rebuild". You can change build parameters before the rebuild starts.
 * Remove and re-add the tag that triggers the job:

Stable release build fails
A reason might be a bad OLDREV value. In that case, trigger a rebuild and change the value of OLDREV to the commit id of the last tag.

No patch files
There are no patch files with stable releases (1.XX.0).

Jenkins tests fail
Sometimes, the parser tests fail without an obvious reason, e.g. when changing the version number. In order to rerun the test, just add a comment with "recheck".