Skip to content

chore: upgrade to TeX Live 2026#785

Merged
kim-em merged 1 commit intoleanprover:mainfrom
kim-em:fix/texlive-mirror
Mar 4, 2026
Merged

chore: upgrade to TeX Live 2026#785
kim-em merged 1 commit intoleanprover:mainfrom
kim-em:fix/texlive-mirror

Conversation

@kim-em
Copy link
Contributor

@kim-em kim-em commented Mar 4, 2026

TeX Live 2026 was released on 2026-03-01. When a new release comes out, the previous version is archived to historic mirrors (https://tug.org/historic), which have very limited availability — the release announcement explicitly notes "More historic mirrors would be welcome."

This caused CI to fail immediately with Error: No mirror available for texlive_version: 2025.

This PR upgrades to TL2026, which required two additional fixes:

  • sourcesanspro was renamed to sourcesans (CTAN)
  • sourceserifpro was renamed to sourceserif (CTAN)

Both old names are absent from TL2026 even as aliases.

Ref: https://tug.org/pipermail/tex-live/2026-March/052232.html

🤖 Prepared with Claude Code

@kim-em kim-em changed the title ci: use TeX Live 2024 instead of 2025 chore: use TeX Live 2024 instead of 2025 Mar 4, 2026
@kim-em kim-em closed this Mar 4, 2026
@kim-em kim-em force-pushed the fix/texlive-mirror branch from 427edfe to 8fd45fa Compare March 4, 2026 12:14
@kim-em kim-em reopened this Mar 4, 2026
@kim-em kim-em changed the title chore: use TeX Live 2024 instead of 2025 chore: upgrade to TeX Live 2026 Mar 4, 2026
TeX Live 2026 was released on 2026-03-01. When a new release comes out,
the previous version is archived to historic mirrors (tug.org/historic),
which have very limited availability. This caused CI to fail immediately
with "No mirror available" for texlive_version: 2025.

Upgrading to 2026 which is now propagating to active CTAN mirrors.

Ref: https://tug.org/pipermail/tex-live/2026-March/052232.html

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@kim-em kim-em force-pushed the fix/texlive-mirror branch from 4678f24 to 1d9e150 Compare March 4, 2026 12:37
@github-actions
Copy link
Contributor

github-actions bot commented Mar 4, 2026

Preview for this PR is ready! 🎉

@kim-em kim-em added this pull request to the merge queue Mar 4, 2026
Merged via the queue into leanprover:main with commit 02e52fd Mar 4, 2026
10 checks passed
@kim-em kim-em deleted the fix/texlive-mirror branch March 4, 2026 13:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant