Skip to content

Conversation

@quentinDERORY
Copy link
Owner

Summary

Test Plan

Additional Information

  • This change is backwards-breaking

@github-actions
Copy link

github-actions bot commented Nov 2, 2021

Thanks for opening a PR! 💯

A couple initial guidelines

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

@github-actions
Copy link

github-actions bot commented Nov 2, 2021

Oops! Looks like you failed the Semantic PR check.

Howto

Signed-off-by: quentinDERORY <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants