progress

BurntSushi · Jan 2, 2017 · fd221bc · fd221bc
1 parent e6f0e1c
commit fd221bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/after_success.sh b/ci/after_success.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # This runs only when a commit is pushed to master. It is responsible for
 # updating docs and computing coverage statistics.