Use idiomatic uv run approach in CI

Instead of adding .venv/bin to PATH (a hack), properly use uv's
designed approach:

1. CI sets UV_RUN="uv run" environment variable
2. Test scripts source ci_test_common.sh which wraps commands
3. Commands are executed with $RUN prefix (uv run in CI, empty locally)

This approach:
- Is idiomatic for uv (explicit environment management)
- Works in CI with uv run prefix
- Works locally without prefix when venv is activated
- Maintains backward compatibility for local development

The wrapper functions in ci_test_common.sh ensure all slither
commands and tools work correctly in both environments.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>

Author: dguido

.github/scripts/integration_test_runner.sh

@@ -1,12 +1,15 @@
 #!/usr/bin/env bash
 
+# Use UV_RUN if set (for CI), otherwise run directly (for local dev)
+RUN="${UV_RUN:-}"
+
 # used to pass --cov=$path and --cov-append to pytest
 if [ "$1" != "" ]; then
-    pytest "$1" tests/e2e/ -n auto
+    $RUN pytest "$1" tests/e2e/ -n auto
     status_code=$?
-    python -m coverage report
+    $RUN python -m coverage report
 else
-    pytest tests/e2e/ -n auto
+    $RUN pytest tests/e2e/ -n auto
     status_code=$?
 fi
 

.github/scripts/tool_test_runner.sh

@@ -1,12 +1,15 @@
 #!/usr/bin/env bash
 
+# Use UV_RUN if set (for CI), otherwise run directly (for local dev)
+RUN="${UV_RUN:-}"
+
 # used to pass --cov=$path and --cov-append to pytest
 if [ "$1" != "" ]; then
-    pytest "$1" tests/tools
+    $RUN pytest "$1" tests/tools
     status_code=$?
-    python -m coverage report
+    $RUN python -m coverage report
 else
-    pytest tests/tools
+    $RUN pytest tests/tools
     status_code=$?
 fi
 

.github/scripts/unit_test_runner.sh

@@ -1,12 +1,15 @@
 #!/usr/bin/env bash
 
+# Use UV_RUN if set (for CI), otherwise run directly (for local dev)
+RUN="${UV_RUN:-}"
+
 # used to pass --cov=$path and --cov-append to pytest
 if [ "$1" != "" ]; then
-    pytest "$1" tests/unit/ -n auto
+    $RUN pytest "$1" tests/unit/ -n auto
     status_code=$?
-    python -m coverage report
+    $RUN python -m coverage report
 else
-    pytest tests/unit/ -n auto
+    $RUN pytest tests/unit/ -n auto
     status_code=$?
 fi
 

.github/workflows/ci.yml

@@ -58,8 +58,6 @@ jobs:
         run: |
           pip install uv
           uv sync --group dev
-          # Add venv to PATH so scripts can find slither commands
-          echo "$PWD/.venv/bin" >> $GITHUB_PATH
           uv run solc-select use 0.4.25 --always-install
           uv run solc-select use 0.8.0 --always-install
           uv run solc-select use 0.5.1 --always-install
@@ -79,5 +77,7 @@ jobs:
           PYTHONUTF8: 1
           TEST_TYPE: ${{ matrix.type }}
           GITHUB_ETHERSCAN: ${{ secrets.GITHUB_ETHERSCAN }}
+          # Export UV_RUN to use in scripts
+          UV_RUN: "uv run"
         run: |
           bash "scripts/ci_test_${TEST_TYPE}.sh"

.github/workflows/docs.yml

@@ -37,9 +37,7 @@ jobs:
       - run: |
           pip install uv
           uv sync --group dev
-          # Add venv to PATH so pdoc can be found
-          echo "$PWD/.venv/bin" >> $GITHUB_PATH
-      - run: pdoc -o html/ slither '!slither.tools'  # TODO fix import errors on pdoc run
+      - run: uv run pdoc -o html/ slither '!slither.tools'  # TODO fix import errors on pdoc run
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v4
         with:

.github/workflows/test.yml

@@ -43,8 +43,6 @@ jobs:
         run: |
           pip install uv
           uv sync --group dev
-          # Add venv to PATH so tests can find slither commands
-          echo "$PWD/.venv/bin" >> $GITHUB_PATH
 
       - name: Setup node
         uses: actions/setup-node@v4
@@ -91,7 +89,7 @@ jobs:
           elif [ ${{ matrix.os }} = "windows-2025" ]; then
             TEST_ARGS=()
           fi
-          bash "./.github/scripts/${TEST_TYPE}_test_runner.sh" "${TEST_ARGS[@]}"
+          UV_RUN="uv run" bash "./.github/scripts/${TEST_TYPE}_test_runner.sh" "${TEST_ARGS[@]}"
 
 
       - name: Upload coverage

scripts/ci_test_cli.sh

@@ -2,6 +2,9 @@
 
 ### Test
 
+# Source common CI test setup
+source "$(dirname "$0")/ci_test_common.sh"
+
 solc-select use 0.7.0
 
 if ! slither "tests/e2e/config/test_json_config/test.sol" --solc-ast --no-fail-pedantic; then

scripts/ci_test_common.sh

@@ -0,0 +1,58 @@
+#!/usr/bin/env bash
+
+# Common setup for CI test scripts
+# Use UV_RUN if set (for CI), otherwise run directly (for local dev)
+RUN="${UV_RUN:-}"
+
+# Export wrapper functions for commonly used commands
+slither() {
+    $RUN slither "$@"
+}
+
+slither-check-upgradeability() {
+    $RUN slither-check-upgradeability "$@"
+}
+
+slither-check-kspec() {
+    $RUN slither-check-kspec "$@"
+}
+
+slither-check-erc() {
+    $RUN slither-check-erc "$@"
+}
+
+slither-flat() {
+    $RUN slither-flat "$@"
+}
+
+slither-simil() {
+    $RUN slither-simil "$@"
+}
+
+slither-interface() {
+    $RUN slither-interface "$@"
+}
+
+slither-find-paths() {
+    $RUN slither-find-paths "$@"
+}
+
+slither-prop() {
+    $RUN slither-prop "$@"
+}
+
+solc-select() {
+    $RUN solc-select "$@"
+}
+
+# Export the functions
+export -f slither
+export -f slither-check-upgradeability
+export -f slither-check-kspec
+export -f slither-check-erc
+export -f slither-flat
+export -f slither-simil
+export -f slither-interface
+export -f slither-find-paths
+export -f slither-prop
+export -f solc-select

scripts/ci_test_dapp.sh

@@ -1,5 +1,8 @@
 #!/usr/bin/env bash
 
+# Source common CI test setup
+source "$(dirname "$0")/ci_test_common.sh"
+
 ### Test Dapp integration
 
 # work around having two python versions loading libraries from each other in CI

scripts/ci_test_data_dependency.sh

@@ -1,5 +1,8 @@
 #!/usr/bin/env bash
 
+# Source common CI test setup
+source "$(dirname "$0")/ci_test_common.sh"
+
 ### Test data dependency
 
 if ! python ./examples/scripts/data_dependency.py ./examples/scripts/data_dependency.sol; then