summaryrefslogtreecommitdiff
path: root/.pik/web/web.sh
diff options
context:
space:
mode:
Diffstat (limited to '.pik/web/web.sh')
-rw-r--r--.pik/web/web.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/.pik/web/web.sh b/.pik/web/web.sh
index b2d0575..543142c 100644
--- a/.pik/web/web.sh
+++ b/.pik/web/web.sh
@@ -1,4 +1,5 @@
#!/usr/bin/env bash
# gets run on server after calling `pik web update` from anywhere
set -euo pipefail
-git pull \ No newline at end of file
+git pull
+bash .pik/coverage.sh \ No newline at end of file