mathlib3

c4b65da1 - fix(mergify): merge if either push or pr build passes. (#918)

fix(mergify): merge if either push or pr build passes. (#918) * fix(mergify): merge if either push or pr build passes. * Update .mergify.yml * Update .mergify.yml