Add the GitHub CI script for pull request build #10182
+52
−0
Merged
Loading