diff options
Diffstat (limited to '.pik/web/web.sh')
| -rw-r--r-- | .pik/web/web.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.pik/web/web.sh b/.pik/web/web.sh deleted file mode 100644 index 543142c..0000000 --- a/.pik/web/web.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash -# gets run on server after calling `pik web update` from anywhere -set -euo pipefail -git pull -bash .pik/coverage.sh
\ No newline at end of file |