build fails on "Install TeX and packages" step with `ERROR 500`

[rkurchin]

See logs here. I'm not sure if this is something on GitHub's side (a server down?) or something wrong with the CI configuration...