From 9b140377c4861fb73ff5bd54f316f4f6e086563d Mon Sep 17 00:00:00 2001
From: Vittorio Parrella <vittorioparrella+1@gmail.com>
Date: Wed, 18 Sep 2024 08:08:19 +0200
Subject: [PATCH] feature: integration CI job can specify which job to run when
 launched manually

---
 .github/workflows/integration.yml | 29 +++++++++++++++++++++++++----
 1 file changed, 25 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml
index c267863..b2e3c92 100644
--- a/.github/workflows/integration.yml
+++ b/.github/workflows/integration.yml
@@ -2,6 +2,27 @@ name: CodeIntegration
 
 on:
   workflow_dispatch:
+    inputs:
+      run_docs:
+        description: 'generates the documentation'
+        type: boolean
+        default: true
+        required: true
+      run_windows:
+        description: 'runs the Windows job'
+        type: boolean
+        default: true
+        required: true
+      run_linux:
+        description: 'runs the Linux job'
+        type: boolean
+        default: true
+        required: true
+      run_macos:
+        description: 'runs the MacOS job'
+        type: boolean
+        default: true
+        required: true
   push:
     branches: [ "main", "testing-*", "issue*" ]
 
@@ -9,7 +30,7 @@ run-name: Code Integration [${{ github.event_name }}][${{ github.head_ref || git
 
 jobs:
   docs:
-    if: true
+    if: ${{ inputs.run_docs || true }}
     runs-on: ubuntu-latest
     defaults:
       run:
@@ -52,7 +73,7 @@ jobs:
           path: "docs/*.pdf"
 
   build-mac-os:
-    if: true
+    if: ${{ inputs.run_macos || true }}
     runs-on: macos-latest
     env:
       GO_VERSION: 1.20.14
@@ -199,7 +220,7 @@ jobs:
           done
 
   build-linux:
-    if: true
+    if: ${{ inputs.run_linux || true }}
     runs-on: ubuntu-latest
     env:
       GO_VERSION: 1.20.14
@@ -327,7 +348,7 @@ jobs:
           done
 
   build-windows:
-    if: true
+    if: ${{ inputs.run_windows || true }}
     runs-on: windows-latest
     env:
       GO_VERSION: 1.20.14