mathlib3

feat(ci): avoid push to Azure if branch has been updated

#2048

Merged