Skip to content

Conversation

@wilfwilson
Copy link
Collaborator

@wilfwilson wilfwilson commented Sep 15, 2025

As of #1110, the code for the Windows job no longer really has any special cases, so it doesn't have to be kept separate any more.

This PR requires #1110. So I won't mark this as ready for review until #1110 is merged, at which point I'll rebase and there will only be the final commit remaining.

@wilfwilson wilfwilson added the ci A label for issues or PRs related to the continuous integration for Semigroups label Sep 15, 2025
@wilfwilson wilfwilson force-pushed the ci-merge-cygwin-job branch 7 times, most recently from 0bfe1da to 16f4699 Compare September 15, 2025 22:08
@james-d-mitchell james-d-mitchell added the requires-rebase Label for PRs that require rebasing label Sep 16, 2025
@wilfwilson wilfwilson force-pushed the ci-merge-cygwin-job branch 3 times, most recently from 33e7305 to 922c31e Compare September 16, 2025 10:03
@wilfwilson wilfwilson removed the requires-rebase Label for PRs that require rebasing label Sep 16, 2025
@wilfwilson wilfwilson force-pushed the ci-merge-cygwin-job branch 2 times, most recently from 3a1aae4 to 80ab294 Compare September 18, 2025 09:31
@wilfwilson wilfwilson marked this pull request as ready for review September 18, 2025 13:47
@wilfwilson
Copy link
Collaborator Author

wilfwilson commented Sep 18, 2025

I've rebased this and it's now a single commit that is ready for review, and hopefully merging.

@james-d-mitchell
Copy link
Collaborator

Thanks @wilfwilson , any chance you could also merge the changes into main at some point, I tried to do this earlier today, but it seemed non-trivial

@wilfwilson
Copy link
Collaborator Author

Yeah the conflicts arose because dependabot has been making changes to the CI in main while I've been doing my tinkering on stable-5.5. I'm working on it.

@wilfwilson
Copy link
Collaborator Author

@james-d-mitchell Done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci A label for issues or PRs related to the continuous integration for Semigroups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants