Commit 3b5e2cbe authored by Jan Kiene's avatar Jan Kiene
Browse files

change pipeline name for sanitizer manual pipeline

parent 0f8b34c9