Skip to content

Delete .github/ci/packages-jammy.apt (backport #1274)#1275

Merged
scpeters merged 1 commit intogz-rendering10from
mergify/bp/gz-rendering10/pr-1274
Apr 14, 2026
Merged

Delete .github/ci/packages-jammy.apt (backport #1274)#1275
scpeters merged 1 commit intogz-rendering10from
mergify/bp/gz-rendering10/pr-1274

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Apr 14, 2026

🦟 Bug fix

Removes file that is not supported on this branch

Summary

Ubuntu 22.04 CI was removed in #1131 for Jetty, but we forgot to remove the package-jammy.apt configuration file, so remove it now.

Checklist

  • Signed all commits for DCO
  • Added a screen capture or video to the PR description that demonstrates the fix (as needed)
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • Updated Bazel files (if adding new files). Created an issue otherwise.
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.


This is an automatic backport of pull request #1274 done by [Mergify](https://mergify.com).

Ubuntu 22.04 is not supported on this branch, so remove
this CI configuration file.

Signed-off-by: Steve Peters <scpeters@intrinsic.ai>
(cherry picked from commit 15a0455)
@mergify mergify Bot requested a review from iche033 as a code owner April 14, 2026 21:16
@github-actions github-actions Bot added the 🪵 jetty Gazebo Jetty label Apr 14, 2026
@mergify mergify Bot mentioned this pull request Apr 14, 2026
11 tasks
@github-project-automation github-project-automation Bot moved this from Inbox to In review in Core development Apr 14, 2026
@scpeters scpeters merged commit 760c008 into gz-rendering10 Apr 14, 2026
14 checks passed
@scpeters scpeters deleted the mergify/bp/gz-rendering10/pr-1274 branch April 14, 2026 22:46
@github-project-automation github-project-automation Bot moved this from In review to Done in Core development Apr 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants