| commit | f1a047556457b2237317960661642de0999097b8 | [log] [tgz] |
|---|---|---|
| author | Michael Ernst <mernst@cs.washington.edu> | Thu Jul 21 22:37:20 2016 -0700 |
| committer | Michael Ernst <mernst@cs.washington.edu> | Thu Jul 21 22:37:20 2016 -0700 |
| tree | 475e08114beb55e368ff4d90ac97026661f0a076 | |
| parent | 769f9feba842f4c31609b7b4d08de9c5427c45df [diff] |
Only trigger downstream builds if this one is successful