mathlib3

8e71ceec - chore(build): remove script testing on PRs [skip ci]