Skip to content

Update code submodule for release#7

Merged
nspin merged 2 commits intoseL4:mainfrom
nspin:pr/update
Nov 26, 2025
Merged

Update code submodule for release#7
nspin merged 2 commits intoseL4:mainfrom
nspin:pr/update

Conversation

@nspin
Copy link
Member

@nspin nspin commented Nov 21, 2025

No description provided.

Signed-off-by: Nick Spinale <[email protected]>
Signed-off-by: Nick Spinale <[email protected]>
@nspin nspin marked this pull request as ready for review November 26, 2025 19:21
@nspin nspin merged commit a4b9cf0 into seL4:main Nov 26, 2025
9 checks passed
@nspin nspin deleted the pr/update branch November 26, 2025 19:57
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