help request for build-deploy error re: Install TinyTex

[stefaniebutland]

I got this build-deploy error when merging PR #66 to update champions.qmd.

@jonpeake Are you able to help resolve this? I don't know how.

[jonpeake]

Hey Stef, looks like it was just a one-off error with the build (a "gremlin" if you will). I re-ran the action and it ran perfectly fine, so I think it was just a quirk of that particular run.

[stefaniebutland]

Thank you ! I've seen it before so thought it was more than that.