Skip to content

Minimal changes to support windows #224

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

dalito
Copy link
Member

@dalito dalito commented May 20, 2025

Only one test failed on Windows due to a file path comparison that was not written to work cross platform.

This PR:

  • fixes the file-comparison to work also on Windows
  • adds running on windows-latest to the main CI file.
  • deploy docs only on merging PRs to main
  • change to new enough mike version (the issues that required a certain commit have been solved)

@dalito
Copy link
Member Author

dalito commented May 20, 2025

I cannot re-run the failed job here. It failed due to github-api rate limit.
...either I lack permissions in this repo or re-starting runs requires workflow_dispatch which is only added in this PR.

@dalito dalito force-pushed the windows-support branch 2 times, most recently from e8f716f to 2582ae0 Compare June 13, 2025 21:10
@dalito dalito force-pushed the windows-support branch from 2582ae0 to 22573d7 Compare June 13, 2025 21:12
@dalito
Copy link
Member Author

dalito commented Jun 13, 2025

@sujaypatil96 Your PR #225 was merged in the meantime. I rebased and resolved the conflicts here. So it is ready for review.

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