diff options
| author | ewy <ewy0@protonmail.com> | 2026-04-22 19:33:32 +0200 |
|---|---|---|
| committer | ewy <ewy0@protonmail.com> | 2026-04-22 19:33:32 +0200 |
| commit | 37900eae9d3c00a9c93a6ef2816b879f6c6f072b (patch) | |
| tree | 679fca6c35e5298f0023c40bef86e74156f7be54 /.pik/web/update.sh | |
| parent | dd71d996e80c1c02a7d43996d406d1fef9c9b1f6 (diff) | |
add coverage page
Diffstat (limited to '.pik/web/update.sh')
| -rw-r--r-- | .pik/web/update.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.pik/web/update.sh b/.pik/web/update.sh index 0b53154..4e6788c 100644 --- a/.pik/web/update.sh +++ b/.pik/web/update.sh @@ -1,3 +1,4 @@ #!/usr/bin/env bash # update files on website +set -euo pipefail ssh git@ewy.one -- cd /srv/pik/pik "&&" .pik/web/web.sh
\ No newline at end of file |