Skip to content

Update VERSION file to 5.0.0-dev - #369

Merged
nspin merged 1 commit into
seL4:mainfrom
nspin:pr/version-dev
Jul 27, 2026
Merged

Update VERSION file to 5.0.0-dev#369
nspin merged 1 commit into
seL4:mainfrom
nspin:pr/version-dev

Update VERSION file to 5.0.0-dev

e4e719d
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Jul 27, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO