Skip to content

tool(cleanup): use names not IDs for PDs - #590

Merged
midnightveil merged 3 commits into
seL4:mainfrom
au-ts:julia/use-names-not-id
Aug 12, 2026
Merged

tool(cleanup): use names not IDs for PDs#590
midnightveil merged 3 commits into
seL4:mainfrom
au-ts:julia/use-names-not-id

tool(cleanup): prefer &str over &String

2a43066
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 11, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO