[CI] Retry headers check and threading tests in case of failure.#2982
Conversation
|
Hey @WardBrian the change for headers check is quite straightforward, just retry once. The retry in it's simplest form seems to handle simple blocks, tho it seems to be possible to use it for a stage-wide failure and retry https://community.jenkins.io/t/how-to-retry-a-jenkins-pipeline-stage-with-an-agent-condition/3667/4 Now while that's possible I don't think it might be best to use in our case, let me explain. Knowing this, I think it might be more simple and straightforward to detect on which host the Because of the above train of thought I put it in a simple retry block for now, please let me know what do you think about this! Thanks! |
Summary
Retry headers check and threading tests in case of failure during CI.
Tests
Side Effects
Are there any side effects that we should be aware of?
No
Release notes
Checklist
Copyright holder: (fill in copyright holder information)
The copyright holder is typically you or your assignee, such as a university or company. By submitting this pull request, the copyright holder is agreeing to the license the submitted work under the following licenses:
- Code: BSD 3-clause (https://opensource.org/licenses/BSD-3-Clause)
- Documentation: CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/)
the basic tests are passing
./runTests.py test/unit)make test-headers)make test-math-dependencies)make doxygen)make cpplint)the code is written in idiomatic C++ and changes are documented in the doxygen
the new changes are tested