Merge 3ec2d05 into c0c3e1e

msakai · Dec 28, 2020 · 39726ab · 39726ab
2 parents c0c3e1e + 3ec2d05
commit 39726ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -86,5 +86,5 @@ after_script:
 - |
   if [ -n "$COVERAGE" ]; then
     travis_retry curl -L https://github.com/rubik/stack-hpc-coveralls/releases/download/v0.0.4.0/shc-linux-x64-$SHC_GHCVER.tar.bz2 | tar -xj
-    ./shc MIP MIP-test
+    ./shc combined all
   fi