EIP-Bot icon indicating copy to clipboard operation
EIP-Bot copied to clipboard

EIP Bot retriggers when it merges a PR

Open wlanroot opened this issue 2 years ago • 1 comments

    A critical exception has occurred:
Message: pr 5904 is already merged; quitting

(cc @alita-moore, @mryalamanchi)

Originally posted by @eth-bot in https://github.com/ethereum/EIPs/issues/5904#issuecomment-1308909383

wlanroot avatar Dec 15 '22 05:12 wlanroot

It's critical because it kills the process, but really it's just noise. Most likely not worth fixing the cause.

alita-moore avatar Dec 15 '22 05:12 alita-moore