diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:47:40 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:47:40 -0700 |
commit | 314b5a1ee2e0a14ced48cc15591f5725c080547f (patch) | |
tree | dea019c1e438de87230e3b873e3c6c5d3ff21378 /.github | |
parent | 745b877835fed47e06daa3295aaf86312867f6f1 (diff) |
Windows CI: specify cmd shell.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 441d775..07b44d0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,4 +41,5 @@ jobs: - name: Build and test run: | nmake test + shell: cmd |