Skip to content

Update URLs to lowRISC repos#638

Merged
marnovandermaas merged 1 commit into
lowRISC:mainfrom
ziuziakowska:update-paths
Jul 9, 2026
Merged

Update URLs to lowRISC repos#638
marnovandermaas merged 1 commit into
lowRISC:mainfrom
ziuziakowska:update-paths

Conversation

@ziuziakowska

Copy link
Copy Markdown
Contributor

No description provided.

@marnovandermaas marnovandermaas left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

As discussed elsewhere, let's also pin the commit hash in this PR. That would be a great improvement.

Signed-off-by: Alice Ziuziakowska <a.ziuziakowska@lowrisc.org>

@marnovandermaas marnovandermaas left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks for adding the tags, when we need updates to these depending repositories, we should create a new tag (or point to a specific development commit). This is so that changes there require a review here as well.

@marnovandermaas marnovandermaas added this pull request to the merge queue Jul 9, 2026
Merged via the queue into lowRISC:main with commit 47af6ee Jul 9, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants