Fix release title in docs deployment to GitHub pages (#98)

Add workaround for #95, caused by a bug in the checkout action (github.com/actions/checkout/issues/882).
juanep97 · Apr 15, 2024 · e54a414 · e54a414
1 parent c62b850
commit e54a414
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -33,6 +33,9 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: Workaround for https://github.com/actions/checkout/issues/882
+        run: git fetch --tags --force origin
+
       - name: Set up Python
         uses: actions/setup-python@v4
         with: