CI: split formal and build to fix posting comments#28011
Open
GeorgeSapkin wants to merge 1 commit intoopenwrt:masterfrom
Open
CI: split formal and build to fix posting comments#28011GeorgeSapkin wants to merge 1 commit intoopenwrt:masterfrom
GeorgeSapkin wants to merge 1 commit intoopenwrt:masterfrom
