diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 |
commit | 8cf576367bfe1993a80ac8cf69a6624bf67a3f11 (patch) | |
tree | ee63bf80b305bb469296fb190711b03e33d2c0ad /bench | |
parent | 314b5a1ee2e0a14ced48cc15591f5725c080547f (diff) |
Revert "Revert "CI: avoid using nmake.bat.""
This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions