Skip to content

Add exhaustive initialization lint to DelayedInboxMessage#4589

Closed
cats2101 wants to merge 1 commit intoOffchainLabs:masterfrom
cats2101:fix/exhaustive-init-delayed-inbox-message
Closed

Add exhaustive initialization lint to DelayedInboxMessage#4589
cats2101 wants to merge 1 commit intoOffchainLabs:masterfrom
cats2101:fix/exhaustive-init-delayed-inbox-message

Commits

Commits on Apr 3, 2026