fix: skinny install uses --no-dev to avoid pulling marimo/dev deps

uv sync --extra aco was resolving the dev dependency group by default,
pulling marimo and 14 other dev packages. The skinny install test
should only install the declared extra and its transitive deps.

All 3 backends fixed (Gitea, GitHub, Woodpecker).

.gitea/workflows/ci.yml

@@ -62,7 +62,7 @@ jobs:
           UV_INSTALL_DIR: /usr/local/bin
 
       - name: Install stack[${{ matrix.extra }}]
-        run: uv sync --extra ${{ matrix.extra }}
+        run: uv sync --no-dev --extra ${{ matrix.extra }}
 
       - name: Verify import
         run: uv run python -c "import ${{ matrix.extra }}"

dev/scripts/backends/gitea.py

@@ -181,7 +181,7 @@ jobs:
 {_setup_uv_step(uv_version)}
 
       - name: Install stack[${{{{ matrix.extra }}}}]
-        run: uv sync --extra ${{{{ matrix.extra }}}}
+        run: uv sync --no-dev --extra ${{{{ matrix.extra }}}}
 
       - name: Verify import
         run: uv run python -c "import ${{{{ matrix.extra }}}}"

dev/scripts/backends/github.py

@@ -175,7 +175,7 @@ jobs:
 {_setup_uv_step(uv_version)}
 
       - name: Install stack[${{{{ matrix.extra }}}}]
-        run: uv sync --extra ${{{{ matrix.extra }}}}
+        run: uv sync --no-dev --extra ${{{{ matrix.extra }}}}
 
       - name: Verify import
         run: uv run python -c "import ${{{{ matrix.extra }}}}"

dev/scripts/backends/woodpecker.py

@@ -342,7 +342,7 @@ steps:
       - |
         for extra in conf aco api bcda bib bls ccw cli cms perf pfs rex; do
           echo "=== stack[$extra] ==="
-          uv sync --extra "$extra"
+          uv sync --no-dev --extra "$extra"
           uv run python -c "import $extra"
           if [ -d "tests/$extra" ]; then
             uv run pytest "tests/$extra/" -x -q || true