From e78200a39dfeaa92c951b7e0a12c57bc19a30fb1 Mon Sep 17 00:00:00 2001
From: Artur Glavic <artur.glavic@psi.ch>
Date: Thu, 30 Jan 2025 14:57:06 +0100
Subject: [PATCH] add workflow dispatch action for updating release

---
 .github/workflows/release.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index a4b26c3..be532af 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -19,11 +19,12 @@ on:
           - all
           - windows
           - linux
+          - all_incl_release
 
 jobs:
   build-ubuntu-latest:
     runs-on: ubuntu-latest
-    if: ${{ (github.event_name != 'workflow_dispatch') || (contains(fromJson('["all", "linux"]'), github.event.inputs.build-items)) }}
+    if: ${{ (github.event_name != 'workflow_dispatch') || (contains(fromJson('["all", "linux", "all_incl_release"]'), github.event.inputs.build-items)) }}
     permissions:
       id-token: write
     steps:
@@ -55,7 +56,7 @@ jobs:
 
   build-windows:
     runs-on: windows-latest
-    if: ${{ (github.event_name != 'workflow_dispatch') || (contains(fromJson('["all", "windows"]'), github.event.inputs.build-items)) }}
+    if: ${{ (github.event_name != 'workflow_dispatch') || (contains(fromJson('["all", "windows", "all_incl_release"]'), github.event.inputs.build-items)) }}
 
     steps:
     - uses: actions/checkout@v4
@@ -80,7 +81,7 @@ jobs:
           eos.zip
 
   release:
-    if: github.event_name != 'workflow_dispatch'
+    if:  ${{ (github.event_name != 'workflow_dispatch') || (contains(fromJson('["all_incl_release"]'), github.event.inputs.build-items)) }}
     runs-on: ubuntu-latest
     needs: [build-ubuntu-latest, build-windows]
     steps: