Skip to content

ci: install OpenSBI from Ubuntu#553

Merged
mkroening merged 2 commits intomainfrom
opensbi-ubuntu
Feb 3, 2026
Merged

ci: install OpenSBI from Ubuntu#553
mkroening merged 2 commits intomainfrom
opensbi-ubuntu

Conversation

@mkroening
Copy link
Member

No description provided.

@mkroening mkroening self-assigned this Feb 3, 2026
@mkroening mkroening added this pull request to the merge queue Feb 3, 2026
Merged via the queue into main with commit 854b756 Feb 3, 2026
6 checks passed
@mkroening mkroening deleted the opensbi-ubuntu branch February 12, 2026 23:33
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.

1 participant