There is a bit of good news, though: it seems that sometimes if I tell GitHub to retry the workflow, it succeeds.

This is happening to me as well, and it is preventing me form getting fixes out to my users!