Merged
Conversation
Something related to "fixcleverref" is incompatible with texlive-full=2024.20250309-1 on CI or Ubuntu 25.04. The CLI had "Latex failed to resolve 216 citation(s)". The end of the introduction had "??" instead of links, and the word "section" in unstyled text before headings. Unvendoring all the (now-) unnecessarily vendored local packages fixes the problem. I enabled `-g` for `latexmk` to fix the .pdf not being rebuilt when I delete it. Fixes: HoTT#1172
Contributor
|
I don't remember why those packages were vendored in the first place. |
Contributor
Author
|
a9eb3bc added some because "The IAS machines and several other people seem to have old geometry packages installed." Well, that was 12 years ago. The solutions are either to simply unvendor the packages whereby the breakages on CI and modern machines are fixed, or to have someone spend a lot of time finding the correct version of peer dependencies to also vendor. |
Contributor
|
Thanks for the sleuthing! |
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
2 participants
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.
Something related to "fixcleverref" is incompatible with texlive-full=2024.20250309-1 on CI or Ubuntu 25.04. The CLI had "Latex failed to resolve 216 citation(s)". The end of the introduction had "??" instead of links, and the word "section" in unstyled text before headings.
Unvendoring all the (now-) unnecessarily vendored local packages fixes the problem. I enabled
-gforlatexmkto fix the .pdf not being rebuilt when I delete it.Before
After
Fixes: #1172
While the workflow awaits approval, a passing run can be seen at https://github.com/danielzgtg/hott/actions/runs/16428214132/job/46423784525