fix: makes building docs optional (#150)

.github/workflows/ci.yml

@@ -51,6 +51,13 @@ on:
         required: false
         type: boolean
         default: false
+      publish_docs:
+        description: |
+          When set to true, the workflow will publish documentation to GitHub
+          pages.
+        required: false
+        type: boolean
+        default: true
       skip_publish_on_default:
         description: |
           If set to true, images will not be published when the workflow is
@@ -146,6 +153,7 @@ jobs:
       earthly_runner_secret: ${{ secrets.earthly_runner_secret }}
   docs:
     uses: ./.github/workflows/pages.yml
+    if: inputs.publish_docs == true
     needs: [build, check, package, test]
     with:
       aws_role_arn: ${{ inputs.aws_role_arn }}