mathlib3
feat(ci): try fetching olean caches from older commits
#2278

Merged

feat(ci): try fetching olean caches from older commits #2278

mergify merged 17 commits into master from try_fetch_older_olean

feat(ci): try fetching older branch oleans

f7aa58dd

docstring edits for set_theory.surreal

30f38aa8

debug

063338ca

debug 2

cc05009f

formatting

126d9579

try fetching

3ebac4b8

just increase depth

87fbef52

improve script, improve surreal docstrings

9aa4b441

env context

0ee79cf3

quieter curl

d097188a

bryangingechen added CI

bryangingechen added awaiting-review

bryangingechen changed the title ~~feat(ci): try fetchnig older branch oleans~~ feat(ci): try fetching older branch oleans 6 years ago

bryangingechen changed the title ~~feat(ci): try fetching older branch oleans~~ feat(ci): try fetching olean caches from older commits 6 years ago

gebner commented on 2020-03-29

gebner removed awaiting-review

gebner added awaiting-author

fix overwriting

cfd3c682

git clean

423cdc3b

ci test: delete surreal.lean

b0962e44

fix env var GIT_HISTORY_DEPTH

7659d085

add back surreal

1b941213

bryangingechen removed awaiting-author

bryangingechen added awaiting-review

gebner commented on 2020-03-29

reviewer comments

c89961d1

gebner approved these changes on 2020-03-29

gebner removed awaiting-review

gebner added ready-to-merge

Merge branch 'master' into try_fetch_older_olean

2f190bd5

mergify merged 7dad872f into master 6 years ago

bryangingechen deleted the try_fetch_older_olean branch 6 years ago

Reviewers

gebner

Assignees

No one assigned

Labels

ready-to-merge CI

Milestone

No milestone

mathlib3 feat(ci): try fetching olean caches from older commits #2278 Merged

feat(ci): try fetching olean caches from older commits #2278

mathlib3
feat(ci): try fetching olean caches from older commits
#2278

Merged