Commit 745b877835fed47e06daa3295aaf86312867f6f1 Parent c5732b26bb4d98cbec9de48cefad480cb880eb45 Author John MacFarlane <jgm@berkeley.edu> Date Tue, 12 May 2020 22:47:20 -0700 Revert "CI: avoid using nmake.bat." This reverts commit c5732b26bb4d98cbec9de48cefad480cb880eb45.