ci: Add name to pipeline trigger for public MRs
Change pipeline name to the MR number for pipeline trigger for public repo MR. This helps in identifying public MR pipeline more easily.
Signed-off-by: Wen Ping Teh wenping.teh@arm.com
Change pipeline name to the MR number for pipeline trigger for public repo MR. This helps in identifying public MR pipeline more easily.
Signed-off-by: Wen Ping Teh wenping.teh@arm.com