Skip to content

Conversation

@quentinDERORY
Copy link
Owner

Summary

Test Plan

Additional Information

  • This change is backwards-breaking

Signed-off-by: Quentin, Derory <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: quentinDERORY <[email protected]>
Signed-off-by: Quentin, Derory <[email protected]>
@github-actions
Copy link

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

### Partitioning
## Partitioning example
# If the system has free space you can choose to only partition that space.
# This is only honoured if partman-auto/method (below) is not set.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[misspell] reported by reviewdog 🐶
"honoured" is a misspelling of "honored"

@github-actions
Copy link

Oops! Looks like you failed the Semantic PR check.

Howto

@quentinDERORY quentinDERORY force-pushed the master branch 11 times, most recently from 568e75e to f47cbf7 Compare October 21, 2021 07:30
@quentinDERORY quentinDERORY force-pushed the master branch 14 times, most recently from 5443c09 to ec55ac5 Compare October 27, 2021 21:35
@quentinDERORY quentinDERORY force-pushed the master branch 4 times, most recently from c0041ca to 4b38295 Compare November 2, 2021 15:03
@quentinDERORY quentinDERORY force-pushed the master branch 6 times, most recently from 6e1e847 to 4096e37 Compare December 2, 2021 17:49
@quentinDERORY quentinDERORY force-pushed the master branch 5 times, most recently from 82f57b6 to 1c7c2ce Compare December 16, 2021 20:22
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