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 /.github | |
| parent | 314b5a1ee2e0a14ced48cc15591f5725c080547f (diff) | |
Revert "Revert "CI: avoid using nmake.bat.""
This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07b44d0..a556498 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -40,6 +40,5 @@ jobs: - uses: actions/checkout@v1 - name: Build and test run: | - nmake test + nmake.exe /nologo /f Makefile.nmake test shell: cmd - |