lane.wei e9e44225f9 ENH: linux: set the two buildings to different names ... current the name are the same just add some string to different them Change-Id: Ie90c0595a1240e7739a7fc0b0c45f0db1341314b		2023-07-22 14:53:49 +08:00
..
ISSUE_TEMPLATE	FIX: fix the spelling of bug in labels	2023-05-25 09:31:46 +08:00
workflows	ENH: linux: set the two buildings to different names	2023-07-22 14:53:49 +08:00