Choose tinytex's tlmgr for the platform that docker builds on #652
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.
I wasn't able to build on the aarch64 platform, so I looked at the Docker files and found that I could change the tlmgr to a platform-specific directory name using uname -m to select the binaries.
The CI currently in use does not appear to be written to be multiplatform using buildx, but this slight modification should allow us to build on aarch64 temporarily.
Check out the submitted commit, and if it's good, confirm it.
I have verified that it builds fine Tested on WSL in Windows 11 and Arm instance of Oracle Cloud.