Skip to content

[ci] switch from MiKTeX to tinytex on Windows R jobs (fixes #5600)#5602

Merged
jameslamb merged 1 commit intomasterfrom ci/switch-to-tinytexNov 25, 2022