Merge branch 'master' into jrivero/split_windows_gpu

gazebo-tooling · Feb 24, 2025 · 11cefa6 · 11cefa6
2 parents 40861b8 + 6c8a6a5
commit 11cefa6
Show file tree

Hide file tree

Showing 18 changed files with 177 additions and 459 deletions.
diff --git a/.github/workflows/ci-dsl.yaml b/.github/workflows/ci-dsl.yaml
@@ -35,6 +35,10 @@ jobs:
           WRITE_JOB_LOG=1 java -jar tools/jobdsl.jar *.dsl
           find logs/* -exec sort {} -o {} \;
           popd
+      - name: Checks for existing scripts in docker/
+        run: |
+          cd jenkins-scripts/docker
+          ./sanity_checks.bash
       - name: Checks for DSL Code
         run: |
           cd jenkins-scripts/dsl

diff --git a/bloom/ros_gazebo_pkgs/README.md b/bloom/ros_gazebo_pkgs/README.md
diff --git a/bloom/ros_gazebo_pkgs/initial_info_for_new_release_repo.bash b/bloom/ros_gazebo_pkgs/initial_info_for_new_release_repo.bash
diff --git a/bloom/ros_gazebo_pkgs/rename-gazebo-ros-pkgs.bash b/bloom/ros_gazebo_pkgs/rename-gazebo-ros-pkgs.bash
diff --git a/bloom/ros_gazebo_pkgs/ros_gazebo_pkgs-release.py.bash b/bloom/ros_gazebo_pkgs/ros_gazebo_pkgs-release.py.bash