Thanks for opening a PR! 💯 Please note that all commits must be signed off. This is enforced by the DCO check.

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

• Contributing Conventions for norms around contributed code

If this is your first Magma PR, also consider reading

• Developer Onboarding for onboarding as a new Magma developer
• Development Workflow for guidance on your first pull request
• CI Checks for points of contact for failing or flaky CI checks

Codecov Report

Merging #7616 (6bf074d) into master (4b8bc00) will increase coverage by 0.01%.
The diff coverage is 90.00%.

@@            Coverage Diff             @@
##           master    #7616      +/-   ##
==========================================
+ Coverage   64.43%   64.45%   +0.01%     
==========================================
  Files         680      680              
  Lines       47037    47041       +4     
  Branches     1323     1323              
==========================================
+ Hits        30307    30318      +11     
+ Misses      13272    13266       -6     
+ Partials     3458     3457       -1     

Flags with carried forward coverage won't be shown. Click here to find out more.

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4b8bc00...6bf074d. Read the comment docs.