Commit 8cf576367bfe1993a80ac8cf69a6624bf67a3f11 Parent 314b5a1ee2e0a14ced48cc15591f5725c080547f Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:49:16 -0700 Revert "Revert "CI: avoid using nmake.bat."" This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.