Adapt to changes of default values in docs CI

stotko · stotko · commit 7b5633948f4f · 2024-11-06T16:12:42.000+01:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -44,6 +44,7 @@ jobs:
         with:
           name: Docs HTML
           path: build/docs/html
+          include-hidden-files: true
 
   publish:
     name: Upload release to GitHub Pages
