fix(ci): Fix documentation build job (#136)

Signed-off-by: Luka Peschke <[email protected]>
ToucanToco · Nov 14, 2023 · 1bc61ae · 1bc61ae
1 parent b89ca0c
commit 1bc61ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -41,5 +41,5 @@ jobs:
           make doc
 
           git add -f docs
-          git commit -m "Re-generated documentation"
+          git commit -m "Re-generated documentation" --allow-empty
           git push origin gh-pages