sync with develop
Description
Description
Details
Details
- Committed
iongchun Jun 26 2018, 2:54 PM - Pushed
iongchun Jul 5 2018, 6:12 PM - Parents
- R8:87abad597d4c: tune CI configurations
R8:0d24b7718d75: use word inserts for progress and update every 10 seconds - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
0d24b7718d75 | iongchun | use word inserts for progress and update every 10 seconds | Jun 21 2018 | |||
818cec1b2155 | iongchun | flow: Created branch 'feature/progress-eagerly'. | Jun 20 2018 |