Add log file artifact

Signed-off-by: Webster Mudge <wmudge@cloudera.com>

Author: wmudge

.github/workflows/construct_docs.yml

@@ -16,6 +16,13 @@ on:
           If 'true', the collection documentation will be uploaded as a Github Pages artifact.
         required: false
         type: string
+        default: false
+      antsibull-log-upload:
+        description: |
+          If 'true', the antsibull-doc log will be uploaded as an artifact.
+        required: false
+        type: string
+        default: false
 
 jobs:
   build-ansible-docs:
@@ -43,6 +50,14 @@ jobs:
       - name: Build documentation
         run: ./docsbuild/build.sh
 
+      - name: Upload antsibull-doc log artifact
+        if: fromJSON(inputs.antsibull-log-upload)
+        uses: actions/upload-artifact@v3
+        with:
+          path: ./docsbuild/antsibull.log
+          name: antsibull-${{ github.sha }}.log
+          retention-days: 7
+
       - name: Upload directory artifact
         if: fromJSON(inputs.directory-upload)
         uses: actions/upload-artifact@v3

.github/workflows/publish_docs.yml

@@ -16,6 +16,7 @@ jobs:
     with:
       pages-upload: true
       directory-upload: true
+      antsibull-log-upload: true
 
   publish-ansible-docs:
     name: Publish Ansible Docs

docsbuild/antsibull-docs.cfg

@@ -38,7 +38,7 @@ logging_cfg = {
     # Log everything a user might be interested in to a log file.
     all = {
       # DEBUG is the most verbose level
-      level = NOTICE
+      level = DEBUG
       output_name = logfile
     }
     # Log problems to stderr so they can be reported and taken care of.