commit | 6e15db7dd9d09d9930673c67471c084df3b806e7 | [log] [tgz] |
---|---|---|
author | Philipp Wollermann <philwo@google.com> | Thu Mar 22 23:51:35 2018 +0100 |
committer | Philipp Wollermann <philwo@google.com> | Thu Mar 22 23:53:18 2018 +0100 |
tree | acb3cee2e046fb06aedbf97f7959d4b58689b374 | |
parent | ed53973aea4d89ba94f49ed85866967b6a0cdc3a [diff] |
Use 8 Windows CI VMs instead of 4.