Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add a test for issue 4159 (backport #4161) #4166

Merged
merged 1 commit into from
Jun 11, 2024
Merged

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jun 11, 2024

Enshrine the behavior of #4159 - this test will be useful for backporting and then showing the change when we fix it.

Contributor Checklist

  • Did you add Scaladoc to every public function/method?
  • Did you add at least one test demonstrating the PR?
  • Did you delete any extraneous printlns/debugging code?
  • Did you specify the type of improvement?
  • Did you add appropriate documentation in docs/src?
  • Did you request a desired merge strategy?
  • Did you add text to be included in the Release Notes for this change?

Type of Improvement

  • Documentation or website-related

Desired Merge Strategy

  • Squash

Release Notes

Reviewer Checklist (only modified by reviewer)

  • Did you add the appropriate labels? (Select the most appropriate one based on the "Type of Improvement")
  • Did you mark the proper milestone (Bug fix: 3.6.x, 5.x, or 6.x depending on impact, API modification or big change: 7.0)?
  • Did you review?
  • Did you check whether all relevant Contributor checkboxes have been checked?
  • Did you do one of the following when ready to merge:
    • Squash: You/ the contributor Enable auto-merge (squash), clean up the commit message, and label with Please Merge.
    • Merge: Ensure that contributor has cleaned up their commit history, then merge with Create a merge commit.

This is an automatic backport of pull request #4161 done by [Mergify](https://mergify.com).

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>
(cherry picked from commit 15115ea)
@mergify mergify bot added the Backport Automated backport, please consider for minor release label Jun 11, 2024
@github-actions github-actions bot added the Documentation Only changing documentation label Jun 11, 2024
@chiselbot chiselbot merged commit 60e5764 into 6.x Jun 11, 2024
17 checks passed
@chiselbot chiselbot deleted the mergify/bp/6.x/pr-4161 branch June 11, 2024 23:31
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Backport Automated backport, please consider for minor release Documentation Only changing documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants