diff options
| author | Théo Zimmermann | 2018-07-24 17:01:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-13 14:25:57 +0200 |
| commit | 6f0d9565eb67acf7bf8f708ef5a2b1ddabc668a5 (patch) | |
| tree | 913be78cef53d217d29a6db55a8e33b28800ee6c /tools | |
| parent | 18b662aa306c58d46292bdf79a2929c91d7d96fd (diff) | |
Do not run 32-bit Windows builds on pull requests.
I have never seen this build fail without the 64-bit Windows build
failing as well. So it is just a waste of time to test it on every
pull request and we are short in Windows test machines.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions