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.

Sign up for GitHub

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

Jump to bottom

Bump Gemmini to v0.7 #1276

Merged
merged 1 commit into from
Dec 10, 2022
Merged

Bump Gemmini to v0.7 #1276

merged 1 commit into from
Dec 10, 2022

Conversation

hngenc
Copy link
Member

@hngenc hngenc commented Nov 28, 2022

Related PRs / Issues:

Type of change:

  • Bug fix
  • New feature
  • Other enhancement

Impact:

  • RTL change
  • Software change (RISC-V software)
  • Build system change
  • Other

Contributor Checklist:

  • Did you set main as the base branch?
  • Is this PR's title suitable for inclusion in the changelog and have you added a changelog:<topic> label?
  • Did you state the type-of-change/impact?
  • Did you delete any extraneous prints/debugging code?
  • Did you mark the PR with a changelog: label?
  • (If applicable) Did you update the conda .conda-lock.yml file if you updated the conda requirements file?
  • (If applicable) Did you add documentation for the feature?
  • (If applicable) Did you add a test demonstrating the PR?
  • (If applicable) Did you mark the PR as Please Backport?

@jerryz123 jerryz123 self-requested a review November 28, 2022 16:34
jerryz123
jerryz123 requested changes Nov 28, 2022
View reviewed changes
Copy link
Contributor

@jerryz123 jerryz123 left a comment

Choose a reason for hiding this comment

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

Can you wait for me to merge #1273 first. I'll push that through later today

@hngenc
Copy link
Member Author

hngenc commented Nov 28, 2022

There's no rush. I just made this so I wouldn't forget to bump Gemmini; I wasn't expecting to merge today

@hngenc hngenc requested a review from jerryz123 December 9, 2022 07:13
@hngenc hngenc merged commit 6614b29 into main Dec 10, 2022
@hngenc hngenc deleted the gemmini-bump-0.7 branch December 10, 2022 22:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jerryz123 jerryz123 Awaiting requested review from jerryz123

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@hngenc @jerryz123