Skip to content

Fix problems with the TeX Live repository

Miguel Ramos Pernas requested to merge mramospe/analysis-ci:fix-texlive into master

It seems the TeX Live repository is not automatically updated after changing to a new year. Use wget with the --spider flag to check if files can be downloaded and handle legacy repositories correctly.

Merge request reports