Allow docs workflow to be executed separately from the release one (#19)

.github/workflows/publish-release.yml

@@ -1,9 +1,16 @@
 name: Publish Release
-"on": workflow_dispatch
+"on":
+  workflow_dispatch:
+    inputs:
+      docs-only:
+        description: Indicates whether to only publish the docs without doing an actual release.
+        required: false
+        type: boolean
 jobs:
   main:
     runs-on: windows-latest
     environment: Production
+    if: ${{ !github.event.inputs.docs-only }}
     steps:
     - name: Checkout code
       uses: actions/checkout@v3
@@ -91,6 +98,7 @@ jobs:
       id-token: write
     runs-on: ubuntu-latest
     needs: [ main ]
+    if: always() && !cancelled() && !contains(needs.*.result, 'failure') && !contains(needs.*.result, 'cancelled')
     steps:
       - name: Checkout
         uses: actions/checkout@v3