Skip to content

Run mypy checks in CI#790

Closed
paul-nechifor wants to merge 12 commits intodevfrom
run-mypy-in-ci
Closed

Run mypy checks in CI#790
paul-nechifor wants to merge 12 commits intodevfrom
run-mypy-in-ci

Conversation

@paul-nechifor
Copy link
Contributor

No description provided.

@chatgpt-codex-connector
Copy link

Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits.
Credits must be used to enable repository wide code reviews.

@greptile-apps
Copy link
Contributor

greptile-apps bot commented Dec 2, 2025

Greptile Overview

Greptile Summary

Added mypy type checking to CI pipeline that runs in parallel with other tests using the ros-dev container with ROS Humble type stubs.

  • Integrated mypy job into existing test workflow with same dependency pattern as ros tests
  • Configured MYPYPATH to include ROS Humble Python packages for proper type resolution
  • Uses ros-dev image to ensure ROS types are available during type checking

Confidence Score: 3/5

  • This PR has a configuration mismatch that may cause inconsistent type checking results
  • The workflow implementation follows existing patterns correctly and mypy is properly configured with ROS types, but there's a Python version mismatch between the mypy config (3.12) and runtime environment (3.10) that needs addressing
  • Review .github/workflows/docker.yml:221 for Python version configuration

Important Files Changed

File Analysis

Filename Score Overview
.github/workflows/docker.yml 3/5 Added mypy type checking job with ROS types support, but Python version mismatch between config (3.12) and runtime (3.10)

Sequence Diagram

sequenceDiagram
    participant GH as GitHub Actions
    participant CC as check-changes
    participant ROS as ros-dev build
    participant Tests as run-ros-tests
    participant MyPy as run-mypy

    GH->>CC: Trigger on push/PR
    CC->>CC: Filter changed paths
    CC->>CC: Determine branch tag
    
    CC->>ROS: Build ros-dev image (if needed)
    
    ROS->>Tests: Image ready/skipped
    ROS->>MyPy: Image ready/skipped
    
    par Parallel execution
        Tests->>Tests: Run pytest with ROS tests
        MyPy->>MyPy: Set MYPYPATH to ROS packages
        MyPy->>MyPy: Execute mypy type checking on dimos/
    end
    
    Tests-->>GH: Test results
    MyPy-->>GH: Type check results
Loading

Copy link
Contributor

@greptile-apps greptile-apps bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

1 file reviewed, 1 comment

Edit Code Review Agent Settings | Greptile

@paul-nechifor paul-nechifor changed the title run mypy in CI Run mypy checks in CI Dec 3, 2025
@paul-nechifor
Copy link
Contributor Author

Closed. Replaced with #805 .

paul-nechifor added a commit that referenced this pull request Dec 8, 2025
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.
leshy pushed a commit that referenced this pull request Jan 5, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.
spomichter pushed a commit that referenced this pull request Jan 8, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: 4d545ec
spomichter pushed a commit that referenced this pull request Jan 8, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: 2fe9911
spomichter pushed a commit that referenced this pull request Jan 8, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: ee6c22c [formerly 2fe9911]
Former-commit-id: 3ff17ec
spomichter pushed a commit that referenced this pull request Jan 8, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: ee6c22c [formerly 2fe9911]
Former-commit-id: 3ff17ec
paul-nechifor added a commit that referenced this pull request Jan 8, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: 810f970 [formerly 4d545ec]
Former-commit-id: 478413b
jeff-hykin pushed a commit that referenced this pull request Jan 9, 2026
* This PR uses Python 3.10 and ROS Humble to run the mypy checks.
* The previous PR, #790, now closed, used Python 3.12 and ROS Jazzy.
* Added a convenience script to run mypy through docker so that you get the same output as GitHub:
    ```bash
    ./bin/mypy-ros
    ```
* **NOTE:** the above script builds the docker images. It takes a long while the first time you run it.

Former-commit-id: 065dffe [formerly 4d545ec]
Former-commit-id: 478413b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant