mathlib3
chore(.travis.yml): use git clean to clean out untracked files
#659
Merged
Merged
chore(.travis.yml): use git clean to clean out untracked files #659
avigad
merged
2 commits into
leanprover-community:master
from
leanprover-fork:travis-clean
chore(.travis.yml): use git clean to clean out untracked files
a22aeec7
build(cache): delete more obsolete olean files
ff866276
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub