github: only build on PR approval, skip on raw push/open.#1012
Open
Clement-Wang26 wants to merge 1 commit intojd-opensource:mainfrom
Open
github: only build on PR approval, skip on raw push/open.#1012Clement-Wang26 wants to merge 1 commit intojd-opensource:mainfrom
Clement-Wang26 wants to merge 1 commit intojd-opensource:mainfrom
