Closed teeworlds-mirror closed 9 months ago
Recreated as https://github.com/teeworlds-community/teeworlds/pull/74 To trigger the stuck CI pipeline again. I did not find a better way yet than to reopen the prs if it gets stuck. The alternative is that the author of the change pushes a new commit. Which is not an option for older contributions.
Cool thanks. But somehow we now have the same problem with #73 even though it was just reopened?
Yea that recreate was not very successful. Somehow the recreated version has a git conflict and this one does not? Anyways seems like now we managed to wake the CI up again. So it should be good to go. Or it will conflict as well when we try to merge it :shrug:
upstream: https://www.github.com/teeworlds/teeworlds/pull/3215