mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[GH-ISSUE #829] If linux PR build fails, it gets stuck as pending #73
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @MSuih on GitHub (Nov 24, 2021).
Original GitHub issue: https://github.com/RPCS3/discord-bot/issues/829
When Linux PR build fails, it seems to mark itself as fail for windows build

When the slower Windows build finishes compiling, it marks itself as success, which overrides the previous failure:

Thus the Linux build will get stuck in pending state
@clienthax commented on GitHub (Jan 5, 2022):
Fixed by https://github.com/RPCS3/discord-bot/pull/837
If linux PR build fails, it gets stuck as pendingto [GH-ISSUE #829] If linux PR build fails, it gets stuck as pending