PR #1811 Enable pinning on circle CI

Enable pinning on circle CI #1811

jysohn23 merged 1 commit into master from pin-branch

jysohn23 force pushed from 6952b5d8 to 2f5ccfc8 5 years ago

jysohn23 changed the title ~~[TEST] Enable pinning on circle CI~~ Enable pinning on circle CI 5 years ago

jysohn23 requested a review from

ailzhang 5 years ago

jysohn23 force pushed from 2f5ccfc8 to 624dba3c 5 years ago

jysohn23 force pushed from 624dba3c to 638ff208 5 years ago

jysohn23 force pushed from 638ff208 to 4f916185 5 years ago

ailzhang commented on 2020-03-24

Enable pinning for circleci

6932bf60

jysohn23 force pushed from 4f916185 to 6932bf60 5 years ago

ailzhang approved these changes on 2020-03-25

jysohn23 merged e044f58e into master 5 years ago

jysohn23 deleted the pin-branch branch 5 years ago

Reviewers

ailzhang

Assignees

No one assigned

Labels

None yet

Milestone

No milestone