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

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

EIP Bot retriggers when it merges a PR #145

Open

Labels

bugpriority: low

opened

on 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)

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

bugpriority: low

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests