CI check for outdated bindings stub files

Author: sea-bass

.github/workflows/build_and_test.yml

@@ -61,6 +61,14 @@ jobs:
           docker run --rm \
             roboplan_ubuntu:${{ steps.sanitize_tag.outputs.tag }} \
             /bin/bash -c './scripts/run_tests.bash'
+      - name: Check bindings stubs
+        run: |
+          if ! git diff --exit-code -- 'bindings/src/roboplan/roboplan_ext/*.pyi'; then
+            echo "::error The .pyi stub files are out of sync with the source code. Make sure to rebuild the bindings without symlink builds."
+            echo "Git Diff:"
+            git diff -- 'bindings/src/roboplan/roboplan_ext/*.pyi'
+            exit 1
+          fi
 
   # Build ROS docker images and run tests.
   ros_build_and_test:

bindings/src/roboplan/roboplan_ext/core.pyi

@@ -18,7 +18,7 @@ class JointConfiguration:
 
     @property
     def joint_names(self) -> list[str]:
-        """The names of the joints."""
+        """The names of the joints. CHANGED!"""
 
     @joint_names.setter
     def joint_names(self, arg: Sequence[str], /) -> None: ...

bindings/src/roboplan/roboplan_ext/rrt.pyi

@@ -25,7 +25,7 @@ class RRTOptions:
     def __init__(self, group_name: str = '', max_nodes: int = 1000, max_connection_distance: float = 3.0, collision_check_step_size: float = 0.05, goal_biasing_probability: float = 0.15, max_planning_time: float = 0.0, rrt_connect: bool = False) -> None: ...
 
     @property
-    def group_name(self) -> str:
+    def group_name_bad(self) -> str:
         """The joint group name to be used by the planner."""
 
     @group_name.setter