Skip to content

ci: Remove the Windows CI workflow (backport #1239)#1240

Open
mergify[bot] wants to merge 1 commit intogz-rendering10from
mergify/bp/gz-rendering10/pr-1239
Open

ci: Remove the Windows CI workflow (backport #1239)#1240
mergify[bot] wants to merge 1 commit intogz-rendering10from
mergify/bp/gz-rendering10/pr-1239

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Mar 11, 2026

Summary

We are now using pixi on Jenkins so this is no longer needed.

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.)

Generated-by: Remove this if GenAI was not used.

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.

Backports: If this is a backport, please use Rebase and Merge instead.


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

We are now using pixi on Jenkins so this is no longer needed.

Signed-off-by: Addisu Z. Taddese <addisuzt@intrinsic.ai>
(cherry picked from commit 8d7abc5)

# Conflicts:
#	.github/workflows/windows.yaml
@mergify mergify bot added the conflicts label Mar 11, 2026
@mergify
Copy link
Contributor Author

mergify bot commented Mar 11, 2026

Cherry-pick of 8d7abc5 has failed:

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

You are currently cherry-picking commit 8d7abc5f.
  (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)

Unmerged paths:
  (use "git add/rm <file>..." as appropriate to mark resolution)
	deleted by them: .github/workflows/windows.yaml

no changes added to commit (use "git add" and/or "git commit -a")

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

@github-actions github-actions bot added the 🪵 jetty Gazebo Jetty label Mar 11, 2026
@mergify mergify bot mentioned this pull request Mar 11, 2026
11 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Inbox

Development

Successfully merging this pull request may close these issues.

0 participants