Adapt to changes of default values in docs CI

vc-bonn · Nov 6, 2024 · 48401de · 48401de
1 parent 7a77ce7
commit 48401de
Showing 1 changed file with 1 addition and 0 deletions.
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