mathlib3
doc(contribute): add detailed instructions for cache-olean [skip ci]
#1367
Merged
Overview
Commits
2
Changes
View On GitHub

doc(contribute): add detailed instructions for cache-olean [skip ci] #1367

cipher1024 merged 2 commits into master from contributing
fpvandoorn
fpvandoorn doc(contribute): add detailed instructions for cache-olean
ef57be31
fpvandoorn fpvandoorn requested a review 6 years ago
fpvandoorn fpvandoorn added WIP
fpvandoorn also describe cache-olean without --fetch
32148fc2
fpvandoorn fpvandoorn removed WIP
cipher1024
fpvandoorn
cipher1024
cipher1024 cipher1024 changed the title doc(contribute): add detailed instructions for cache-olean doc(contribute): add detailed instructions for cache-olean [skip ci] 6 years ago
cipher1024 cipher1024 merged 4c5c4dc7 into master 6 years ago
cipher1024 cipher1024 deleted the contributing branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum