Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

stdlibL: fix folders in test source #2665

Merged
merged 1 commit into from
Aug 9, 2022
Merged

stdlibL: fix folders in test source #2665

merged 1 commit into from
Aug 9, 2022

Conversation

schoeberl
Copy link
Contributor

Contributor Checklist

Just a minor folder issue fixed.

Type of Improvement

  • code cleanup

API Impact

non

Backend Code Generation Impact

non

Desired Merge Strategy

Release Notes

Reviewer Checklist (only modified by reviewer)

  • Did you add the appropriate labels?
  • Did you mark the proper milestone (Bug fix: 3.4.x, [small] API extension: 3.5.x, API modification or big change: 3.6.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.

Copy link
Contributor

@ekiwi ekiwi left a comment

Choose a reason for hiding this comment

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

Good idea!

@ekiwi ekiwi modified the milestones: 3.X, 3.6.0 Aug 9, 2022
@ekiwi ekiwi added the Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI. label Aug 9, 2022
@schoeberl
Copy link
Contributor Author

schoeberl commented Aug 9, 2022 via email

@mergify mergify bot merged commit ce12b66 into chipsalliance:master Aug 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants