Skip to content

Add a Mujoco debbuilder for gazebo-forks - #1520

Merged
j-rivero merged 1 commit into
masterfrom
jrivero/mujoco_debbuilder
Jul 27, 2026
Merged

Add a Mujoco debbuilder for gazebo-forks#1520
j-rivero merged 1 commit into
masterfrom
jrivero/mujoco_debbuilder

Conversation

@j-rivero

Copy link
Copy Markdown
Contributor

The Mujoco release repository https://github.com/gazebo-forks/mujoco-release is a gbp like repository similar to ogre-2.3 and others that we used before. Adding it here to the list of generated repositories in extra.dsl to have the Jenkins job in place.

Signed-off-by: Jose Luis Rivero <jrivero@honurobotics.com>
@github-actions

Copy link
Copy Markdown

This is an automatic response from the CI system for Jenkins DSL generation.

Below is the list of Jenkins XML configuration files changed by this PR (from changes to DSL) and the content changed in the configuration files:

📂 XML Jenkins configuration files changed in this PR

Details

Only in /tmp/pr_xml_configuration: mujoco-debbuilder.xml

📑 Content changed in the XML configuration files in this PR

Details
Only in /tmp/pr_xml_configuration: mujoco-debbuilder.xml

@j-rivero
j-rivero merged commit 277cbe6 into master Jul 27, 2026
4 checks passed
@j-rivero
j-rivero deleted the jrivero/mujoco_debbuilder branch July 27, 2026 10:05
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.

2 participants