Repository navigation
Archive the lists of skipped libraries - #96
Merged
Merged
Conversation
updateinfo-problems.txt and genindex-problems.txt were only written in the workspace of the update stage's container, which is gone after the build, so the warning pointed at files nobody could open. Archive them with the build and print them in the console too. See OpenModelica#61. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Follow-up to #94 (#61).
When
updateinfoorgenindexskips a library, the job goes unstable with "some libraries were skipped, see updateinfo-problems.txt and genindex-problems.txt". The two files are only written in the workspace of theupdatestage's docker container. They are not archived, and thestashdoes not include them, so nobody can open them after the build.This PR:
allowEmptyArchive: true, because often only one of them exists)The e-mail to
PROBLEMS_EMAILdoes not change.Not tested: the change is only in the Jenkinsfile, so the first build that skips a library will show if it works.
🤖 Generated with Claude Code