Skip to content

ci: Update Mergify, fix labeler#2401

Merged
mergify[bot] merged 2 commits intoethereum-optimism:developfrom
mslipper:feat/update-pr-ci
Apr 4, 2022
Merged

ci: Update Mergify, fix labeler#2401
mergify[bot] merged 2 commits intoethereum-optimism:developfrom
mslipper:feat/update-pr-ci

Commits

Commits on Apr 4, 2022