| commit | b5f40015545b14a3882a15e56ee0a7ab99e0eb05 | [log] [tgz] |
|---|---|---|
| author | Michael Ernst <mernst@cs.washington.edu> | Thu May 18 12:25:40 2017 -0700 |
| committer | Michael Ernst <mernst@cs.washington.edu> | Thu May 18 12:25:40 2017 -0700 |
| tree | e660d72bcc5116d9aa9e163817d1497597e50fa3 | |
| parent | 82eb104690a474f9d7dc2c6d89e1a099d691a971 [diff] |
Use Travis build stages instead of travis-after-all