Skip to content
Snippets Groups Projects

add valid_ptr requirement to copy alloc id

Passed
Michael Sammler created pipeline for commit 102057c0
, finished
1 related merge request: !70 add valid_ptr requirement to copy alloc id
2 jobs 17 minutes 5 seconds, queued for 1 seconds