.gitea/workflows/build-and-test: run rsync with --delete for coverage report upload

2026-06-11 18:13:08 +09:00
parent ee2b648c9a
commit 1e9e711a71
1 changed files with 1 additions and 0 deletions
@@ -59,4 +59,5 @@ jobs:
          username: gitea-web
          ssh-key: ${{ secrets.WEB_SYNC_SSH_KEY }}
          host: pages.pvv.ntnu.no
+          args: "--archive --compress --verbose --mkpath --delete"
          known-hosts: "pages.pvv.ntnu.no ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIH2QjfFB+city1SYqltkVqWACfo1j37k+oQQfj13mtgg"