mathlib3
fix(test/local_cache): make the trace text explicit and quiet
#941

Merged

fix(test/local_cache): make the trace text explicit and quiet #941

mergify merged 2 commits into master from test-local-cache

fix(test/local_cache): make the trace text explicit and quiet

6e4df953

khoek requested a review 7 years ago

robertylewis approved these changes on 2019-04-16

robertylewis added ready-to-merge

Merge branch 'master' into 'test-local-cache'

8f065bde

mergify merged 4b8106b3 into master 7 years ago

mergify deleted the test-local-cache branch 7 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone