Skip to content

Conversation

@DanielRuf
Copy link
Contributor

This fixes the Windows CI setup.

@ds300 ds300 merged commit 505da14 into ds300:master Nov 1, 2019
@ds300
Copy link
Owner

ds300 commented Nov 1, 2019

🙏

@DanielRuf
Copy link
Contributor Author

Not so fast ;-) There was another commit to enable this for PRs.

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.

2 participants