Author | SHA1 Message | Date |
---|---|---|
|
2755a0d48a Disable pager for ci script | 5 years ago |
|
10405153c2 Use wget rather than curl | 5 years ago |
|
abdc141c2b Update instructions to point to pip install (#3985) | 5 years ago |
|
3126b88d35 fix circleci merged builds (#3858) | 5 years ago |
|
b7d2fb5eb9 Remove some superfluous logging (#3855) | 5 years ago |
|
65cd8ccc79 Add JUnit summaries to CircleCI as well as merged runs (#3704) | 5 years ago |