From 0083b379900f95bda4302c751b8da91c5b7d9f01 Mon Sep 17 00:00:00 2001
From: Maximilian Walter <maximilian.walter@kit.edu>
Date: Tue, 30 May 2023 12:43:00 +0200
Subject: [PATCH] create release

---
 .github/workflows/updatesite.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/updatesite.yml b/.github/workflows/updatesite.yml
index ee9aa35f..54cea074 100644
--- a/.github/workflows/updatesite.yml
+++ b/.github/workflows/updatesite.yml
@@ -1,6 +1,6 @@
 name: Update Site
 
-on: [push, pull_request, workflow_dispatch]
+on: [workflow_dispatch]
 
 jobs:
   build:
@@ -11,6 +11,7 @@ jobs:
           use-display-output: true
           no-caching: true
           runner-label: ubuntu-latest
+          release-version: 5.2
       secrets:
           SERVER_SSH_KEY: ${{ secrets.DEPLOYMENT_SERVER_SSH_KEY }}
           REMOTE_HOST: ${{ secrets.DEPLOYMENT_REMOTE_HOST }}