Merge branch 'master' into devel

robotology · Jan 30, 2025 · 3caecc6 · 3caecc6
2 parents 8d08dca + fcc6ae4
commit 3caecc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -3,7 +3,7 @@ name: GitHub Pages
 on:
   push:
     branches:
-    - docs
+    - 'docs'
   workflow_dispatch:
   repository_dispatch:
     types: [build_documentation]