Skip to content

Fix GitHub workflows - #270

Merged
saraedum merged 19 commits into
regro:masterfrom
saraedum:fixup
Nov 13, 2025
Merged

saraedum merged 19 commits into
regro:masterfrom
saraedum:fixup

Conversation

@saraedum

Copy link
Copy Markdown
Collaborator

No description provided.

@saraedum saraedum changed the title Fixup Fix GitHub workflows Nov 13, 2025
@saraedum

Copy link
Copy Markdown
Collaborator Author

Tests on Windows seem to hang somehow. Locally, some tests fail on Windows but even with the long running CI tests, the finish quickly.

@saraedum
saraedum marked this pull request as ready for review November 13, 2025 22:38
@saraedum
saraedum merged commit 0d4fad5 into regro:master Nov 13, 2025
16 of 17 checks passed
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

Successfully merging this pull request may close these issues.

1 participant