Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bumps in Jetty: gz-gui10, gz-sim10, gz-launch9 #1235

Open
8 of 21 tasks
azeey opened this issue Jan 17, 2025 · 1 comment
Open
8 of 21 tasks

Bumps in Jetty: gz-gui10, gz-sim10, gz-launch9 #1235

azeey opened this issue Jan 17, 2025 · 1 comment
Assignees

Comments

@azeey
Copy link
Contributor

azeey commented Jan 17, 2025

Libraries being bumped:

@azeey azeey self-assigned this Jan 17, 2025
@azeey azeey changed the title Bump in Jetty: gz-gui10, gz-sim10, gz-launch9 Bump in Jetty: gz-gui10, gz-sim10 Jan 17, 2025
@azeey azeey changed the title Bump in Jetty: gz-gui10, gz-sim10 Bumps in Jetty: gz-gui10, gz-sim10 Jan 17, 2025
@azeey azeey changed the title Bumps in Jetty: gz-gui10, gz-sim10 Bumps in Jetty: gz-gui10, gz-sim10, gz-launch9 Jan 17, 2025
azeey added a commit that referenced this issue Jan 17, 2025
This also fixes some issues encountered while running the script for
#1235

Signed-off-by: Addisu Z. Taddese <[email protected]>
azeey added a commit that referenced this issue Jan 17, 2025
This also fixes some issues encountered while running the script for
#1235

Signed-off-by: Addisu Z. Taddese <[email protected]>
@scpeters
Copy link
Contributor

I opened #1241 to bump the versions in the DSL used to generate our CI jobs, since I didn't see an open PR for that already.

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

No branches or pull requests

2 participants