Sorry, but there's a misunderstanding: Since I changed the workflow file via PR, it needs a separate approval and is still unable to merge - in fact I also wasn't aware of that pithole either. To merge it, you'll need to go to the PR
https://github.com/tuohai/soundrts-ultimate-version/pull/1
then approve the workflow, then merge and close the PR, That's how it's documented. That's likely why the PR isn't yet merged and still shows 5 commits waiting. Quickly looking at the workflow runs, for me it seems like you can also approve from here, and when it ran merge - but in any case approve the workflow and merging the PR are two different stept:
https://github.com/tuohai/soundrts-ultimate-version/actions/runs/29323573322
https://github.com/tuohai/soundrts-ultimate-version/releases/tag/1.4.5.2 --
You received this message because you are subscribed to the Google Groups "soundRTSChat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to soundrtschat...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/soundrtschat/d1cca6d9-d930-47bf-8993-de9912ee856fn%40googlegroups.com.
Thank you, that was it. Now it got merged.
To view this discussion visit https://groups.google.com/d/msgid/soundrtschat/3b567320-9dad-44fc-9f2e-06282c20c1fan%40googlegroups.com.
Awesome, if you want I can also try to help, but not this month as I'll be having several exams and a project report to write. Also, I have some plans to work on the multiplayer gameplay, regarding server stability and garbage collection - yes, canceled games are not cleaned and therefore I already had games shown to be running for days on my server.
--
You received this message because you are subscribed to the Google Groups "soundRTSChat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to soundrtschat...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/soundrtschat/c043da25-62e3-4032-b1b0-009e9966536an%40googlegroups.com.