Adapt to changes of default values in docs CI

stotko · stotko · commit 80cbec00842f · 2024-11-06T15:38:46.000+01:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -61,6 +61,7 @@ jobs:
         with:
           name: Docs HTML
           path: build/docs/html
+          include-hidden-files: true
 
   publish:
     name: Upload release to GitHub Pages
