Skip to content

feat(pops): Dispute Game Contract Interfaces - #5643

Merged
OptimismBot merged 2 commits into
developfrom
pops/moar-dispute-interfaces
May 8, 2023
Merged

OptimismBot merged 2 commits into
developfrom
pops/moar-dispute-interfaces

Conversation

@refcell

@refcell refcell commented May 8, 2023

Copy link
Copy Markdown
Contributor

Description

Moves the rest of the pops/dispute-game-contracts interfaces in #5386 following #5630.

Future PRs will incrementally introduce concrete dispute game contracts paired with tests.

@refcell refcell self-assigned this May 8, 2023
@refcell
refcell requested a review from a team as a code owner May 8, 2023 17:31
@refcell
refcell requested a review from maurelian May 8, 2023 17:31
@netlify

netlify Bot commented May 8, 2023

Copy link
Copy Markdown

Deploy Preview for opstack-docs canceled.

Name Link
🔨 Latest commit 688c5f2
🔍 Latest deploy log https://app.netlify.com/sites/opstack-docs/deploys/645943b66a6a9500080bac4b

@refcell
refcell requested review from clabby and tynes May 8, 2023 17:31
@changeset-bot

changeset-bot Bot commented May 8, 2023

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 688c5f2

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 commented May 8, 2023

Copy link
Copy Markdown
Contributor

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

@mergify

mergify Bot commented May 8, 2023

Copy link
Copy Markdown
Contributor

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

1 similar comment
@mergify

mergify Bot commented May 8, 2023

Copy link
Copy Markdown
Contributor

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

@OptimismBot
OptimismBot merged commit 3e458a7 into develop May 8, 2023
@OptimismBot
OptimismBot deleted the pops/moar-dispute-interfaces branch May 8, 2023 19:02
@mergify mergify Bot removed the on-merge-train label May 8, 2023
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