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

Merged

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

robertylewis merged 1 commit into leanprover-community:master from gebner:actions-unshallow

fix(ci): unshallow repo before pushing nightly tags

a01ff0e5

robertylewis merged 99962ad7 into master 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone