From 791cc2f3522f1eb20cf67b661f0419e2b98a8343 Mon Sep 17 00:00:00 2001
From: usov_i <ivan.usov@psi.ch>
Date: Mon, 31 Mar 2025 16:59:02 +0200
Subject: [PATCH] Update .gitea/workflows/demo.yaml

---
 .gitea/workflows/demo.yaml | 39 ++++++++++++++++++++++++++------------
 1 file changed, 27 insertions(+), 12 deletions(-)

diff --git a/.gitea/workflows/demo.yaml b/.gitea/workflows/demo.yaml
index d3c0ad0..c17fb96 100644
--- a/.gitea/workflows/demo.yaml
+++ b/.gitea/workflows/demo.yaml
@@ -1,19 +1,34 @@
 name: Gitea Actions Demo
 run-name: ${{ gitea.actor }} is testing out Gitea Actions 🚀
-on: [push]
+
+on:
+  push:
+  workflow_dispatch:
+    inputs:
+      HOSTS:
+        required: true
+        description: "Comma separated list of hosts or groups that should be deployed"
+        default: all:!bec
+        type: string
+      DEPLOY:
+        description: "Execute actual deployment. If false then only perform tests"
+        default: false
+        type: boolean
+      FIRST_INSTALL:
+        description: "Put it to True only if the FPGA card has never been flashed before"
+        default: false
+        type: boolean
+
+env:
+  HOSTS: ${{ inputs.HOSTS || 'all:!bec' }}
+  DEPLOY: ${{ inputs.DEPLOY || false }}
+  FIRST_INSTALL: ${{ inputs.FIRST_INSTALL || false }}
 
 jobs:
   Explore-Gitea-Actions:
     runs-on: ubuntu-latest
     steps:
-      - run: echo "Bypass the branch protection rule"
-      - run: echo "🐧 This job is now running on a ${{ runner.os }} server hosted by Gitea!"
-      - run: echo "🔎 The name of your branch is ${{ gitea.ref }} and your repository is ${{ gitea.repository }}."
-      - name: Check out repository code
-        uses: actions/checkout@v4
-      - run: echo "💡 The ${{ gitea.repository }} repository has been cloned to the runner."
-      - run: echo "🖥️ The workflow is now ready to test your code on the runner."
-      - name: List files in the repository
-        run: |
-          ls ${{ gitea.workspace }}
-      - run: echo "🍏 This job's status is ${{ job.status }}."
\ No newline at end of file
+      - run: |
+          echo "HOSTS: $HOSTS"
+          echo "DEPLOY: $DEPLOY"
+          echo "FIRST_INSTALL: $FIRST_INSTALL"
\ No newline at end of file