Skip to content

devnet: Fix clean command#2719

Merged
mergify[bot] merged 2 commits intoethereum-optimism:developfrom
mslipper:bugfix/cleanup
Jun 8, 2022
Merged

devnet: Fix clean command#2719
mergify[bot] merged 2 commits intoethereum-optimism:developfrom
mslipper:bugfix/cleanup

Conversation

@mslipper
Copy link
Collaborator

@mslipper mslipper commented Jun 8, 2022

No description provided.

@changeset-bot
Copy link

changeset-bot bot commented Jun 8, 2022

⚠️ No Changeset found

Latest commit: fe1912d

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@mergify mergify bot requested review from Inphi and tuxcanfly June 8, 2022 18:44
@mergify
Copy link
Contributor

mergify bot commented Jun 8, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify
Copy link
Contributor

mergify bot commented Jun 8, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@mergify mergify bot merged commit f96e73b into ethereum-optimism:develop Jun 8, 2022
@mergify mergify bot removed the on-merge-train label Jun 8, 2022
This was referenced Jun 8, 2022
theochap pushed a commit that referenced this pull request Dec 10, 2025
- Corrected "inclide" → "include" in `assemble.rs`
- Corrected "ben" → "been" in `list_walker.rs`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants