This repository has been archived by the owner on Feb 9, 2023. It is now read-only.

EIP Bot retriggers when it merges a PR #145

Open

wlanroot opened this issue Dec 15, 2022 · 1 comment

Labels

bug priority: low

wlanroot commented Dec 15, 2022

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

(cc @alita-moore, @mryalamanchi)

Originally posted by @eth-bot in ethereum/EIPs#5904 (comment)

The text was updated successfully, but these errors were encountered:

Contributor

alita-moore commented Dec 15, 2022

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

Pandapip1 transferred this issue from ethereum/EIPs

Pandapip1 added bug priority: low labels

Pandapip1 changed the title ~~A critical exception has occurred:~~ EIP Bot retriggers when it merges a PR

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.