mathlib3
99962ad7 - fix(ci): unshallow repo before pushing nightly tags (#1919)

Commit

6 years ago

fix(ci): unshallow repo before pushing nightly tags (#1919)

References

#1919 - fix(ci): unshallow repo before pushing nightly tags

Author

gebner

gebner

Committer

robertylewis

robertylewis

Parents

Loading