Skip to content

op-node: remove PromoteFinalizedEvent#17165

Merged
joshklop merged 1 commit into
developfrom
joshklop/rm-promotefinalized
Aug 20, 2025
Merged

op-node: remove PromoteFinalizedEvent#17165
joshklop merged 1 commit into
developfrom
joshklop/rm-promotefinalized

op-node: remove PromoteFinalizedEvent

9970bb1
Select commit
Loading
Failed to load commit list.
CircleCI Checks / devnet-metrics-collect succeeded Aug 20, 2025 in 1m 17s

Workflow: devnet-metrics-collect

View CircleCI Workflow

View more details on CircleCI Checks