summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:47:40 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:47:40 -0700
commit314b5a1ee2e0a14ced48cc15591f5725c080547f (patch)
treedea019c1e438de87230e3b873e3c6c5d3ff21378
parent745b877835fed47e06daa3295aaf86312867f6f1 (diff)
Windows CI: specify cmd shell.
-rw-r--r--.github/workflows/ci.yml1
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