Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Jun 6, 2025

🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸

🎉 New feature

Closes #

Summary

This is necessary to get stack-traces properly formatted in our CI when developing. It can be useful for us to track why tests are flaky.

Test it

Checklist

  • Signed all commits for DCO
  • Added tests
  • Added example and/or tutorial
  • 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)
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers

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


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

@mergify mergify bot added the conflicts label Jun 6, 2025
@mergify mergify bot requested a review from jennuine as a code owner June 6, 2025 20:44
@mergify
Copy link
Contributor Author

mergify bot commented Jun 6, 2025

Cherry-pick of ed0321a has failed:

On branch mergify/bp/gz-sim9/pr-2927
Your branch is up to date with 'origin/gz-sim9'.

You are currently cherry-picking commit ed0321a7.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
	modified:   .github/ci/packages.apt

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/ci.yml

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@mergify mergify bot requested a review from mjcarroll as a code owner June 6, 2025 20:44
@mergify mergify bot added the conflicts label Jun 6, 2025
@github-actions github-actions bot added the 🏛️ ionic Gazebo Ionic label Jun 6, 2025
arjo129 and others added 2 commits June 6, 2025 20:59
This is nessecary to get stacktraces properly formatted in our CI when
developing.

Signed-off-by: Arjo Chakravarty <[email protected]>
(cherry picked from commit ed0321a)
Signed-off-by: Jose Luis Rivero <[email protected]>
(cherry picked from commit 53c9369)
@scpeters scpeters force-pushed the mergify/bp/gz-sim9/pr-2927 branch from 268b51d to 5107000 Compare June 6, 2025 20:59
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Jun 6, 2025
@scpeters scpeters removed the conflicts label Jun 6, 2025
@azeey azeey added this to the Jetty Release milestone Jul 28, 2025
@arjo129 arjo129 enabled auto-merge (squash) August 8, 2025 02:15
@arjo129 arjo129 self-requested a review as a code owner August 8, 2025 02:16
@azeey azeey disabled auto-merge August 8, 2025 02:34
@azeey azeey enabled auto-merge (rebase) August 8, 2025 02:34
@azeey
Copy link
Contributor

azeey commented Aug 8, 2025

fyi @arjo129, for backports, we are doing "Rebase and merge" instead of squash.

@arjo129 arjo129 disabled auto-merge August 8, 2025 02:39
@arjo129 arjo129 enabled auto-merge (squash) August 8, 2025 02:39
@arjo129 arjo129 disabled auto-merge August 8, 2025 04:26
@arjo129 arjo129 enabled auto-merge (rebase) August 8, 2025 04:26
@azeey azeey removed this from the Jetty Release milestone Aug 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🏛️ ionic Gazebo Ionic

Projects

Status: In review

Development

Successfully merging this pull request may close these issues.

5 participants