Hm, blöd. Das nächtliche Autobuild musste ich deaktivieren leider für den Moment. Ich baue gerade die aktuelle Version von Hand und pushe sie.
Mir waren die doch einigermaßen harten Limits von GitHub Workflows nicht bewusst. Insgesamt hat man als Free-User 2000 Minuten pro Monat für Workflows, als normaler zahlender User auch nur 3000. Da hauen dann die 2h 40m - 3h 10m pro Build doch ganz gut rein XD.