git: add input params for workflow

Author: will-break-it

.github/workflows/docs.yaml

@@ -22,6 +22,11 @@ on:
       - main
 
   workflow_dispatch: # Allow manual triggering or via API
+    inputs:
+      source:
+        description: "Source of the workflow dispatch"
+        required: false
+        default: "manual"
 
 # Global permissions
 permissions:

.github/workflows/formal-spec-listener.yaml

@@ -87,3 +87,4 @@ jobs:
         with:
           workflow: docs.yaml
           token: ${{ github.token }}
+          inputs: '{"source": "formal-spec-listener"}'