-
-
Notifications
You must be signed in to change notification settings - Fork 771
boards: Rename opentitan to earlgrey-nexysvideo #2206
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
Conversation
Looks like the CI is failing with formatting issues. |
Strange, |
d804f0f
to
5ef1d53
Compare
Signed-off-by: Garret Kelly <[email protected]>
5ef1d53
to
1760320
Compare
The netlify presubmit check shouldn't block submission, right? |
Nope, it's broken and no one can see why apparently: #2201 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should probably change the name of the board in boards/README
and doc/wg/opentitan/README.md
as well, but I can't put suggestions in those files.
Signed-off-by: Garret Kelly <[email protected]>
I did change the |
Sorry, I did a grep and saw an |
Pull Request Overview
This pull request renames
boards/opentitan
toboards/earlgrey-nexysvideo
.Testing Strategy
This pull request was tested by running
make allboards
andmake prepush
.Documentation Updated
/docs
, or no updates are required.Formatting
make prepush
.