From 224fa8b643c04b054b11f6c12e5543783b9b3ac2 Mon Sep 17 00:00:00 2001 From: ewy Date: Wed, 22 Apr 2026 21:03:51 +0200 Subject: run coverage after pull --- .pik/web/web.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.pik/web') 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 -- cgit v1.3.1