mathlib3

fix(ci): unshallow repo before pushing nightly tags

#1919

Merged