diff --git a/Jenkinsfile b/Jenkinsfile
index 18496d7..538968e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@
                         echo "Building for Linux"
                         sh "python ./build.py"
                         echo "Testing for Linux"
-                        sh ". ./env.sh; dobuild; dotest_ci"
+                        sh ". ./env.sh; dobuild; dotest_ci; domut_ci"
                         sh "mv NewLang.pyz NewLang.linux.pyz"
                         archiveArtifacts artifacts: 'NewLang.linux.pyz', fingerprint: true
                         cleanWs()
diff --git a/env.sh b/env.sh
index d2d6f98..b874de4 100644
--- a/env.sh
+++ b/env.sh
@@ -32,5 +32,7 @@
 dotest_ci() { pytest -q -n auto --hypothesis-profile=ci; }
 dotest_long() { pytest -q -n 4 --hypothesis-profile=long; }
 docheck() { dotidy && dolint && dotest; }
-domut() { mutmut run --paths-to-mutate "src/syntax.py src/tokenize.py src/parse.py"; }
+_envsh_domut() { mutmut run --paths-to-mutate "src/syntax.py src/tokenize.py src/parse.py" $@; }
+domut() { _envsh_domut; }
+domut_ci() { _envsh_domut --no-progress | grep -v "Running$"; }
 dobuild() { python build.py; }