Fix docs CI (#939)

A recent PR had a nonexistent version of the `upload-pages-artifact` action.
moveit · Aug 6, 2024 · 97f2fd2 · 97f2fd2
1 parent 5252035
commit 97f2fd2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -151,7 +151,7 @@ jobs:
         cp -rf python_api/ build/html/main/doc/api/   # restore artifact html
 
     - name: Upload pages artifact
-      uses: actions/upload-pages-artifact@v4
+      uses: actions/upload-pages-artifact@v3
       if: github.repository_owner == 'moveit'
       with:
         path: build/html