Run docs deploy without project sync

* Run docs deploy without project sync

Tag-triggered docs deploys can run in metadata-only mode after the release branch has already populated /vX.Y/. In that mode the workflow skips build_lib.py, so invoking deploy_doc.py through a normal uv project run tries to install warp-lang before native libraries exist.

Run the stdlib-only deploy script outside project discovery so metadata-only tag pushes can update /stable/, redirects, and versions.json without requiring a redundant Warp build.

Signed-off-by: Eric Shi <ershi@nvidia.com>

Approved-by: Eric Shi <ershi@nvidia.com>

See merge request omniverse/warp!2456

Author: shi-eric

.github/workflows/sphinx.yml

@@ -114,5 +114,7 @@ jobs:
           if [[ "${{ steps.dv.outputs.metadata_only }}" == "true" ]]; then
             flag="--metadata-only"
           fi
-          uv run tools/ci/deploy_doc.py --version "${{ steps.dv.outputs.version }}" $flag
+          # Metadata-only tag deploys skip build_lib.py, so avoid syncing the
+          # Warp project before running this stdlib-only script.
+          uv run --no-project tools/ci/deploy_doc.py --version "${{ steps.dv.outputs.version }}" $flag
           git push origin gh-pages