feat(scripts): disable testing the install scripts in external PRs (#936)
feat(scripts): disable testing the install scripts in external PRs (#936)


leanprover-community/mathlib,leanprover-community/mathlib