Skip to content

Conversation

@jangorecki
Copy link
Member

  • proper way to copy of windows binaries to be published
  • windows jobs now test for no compilation warnings, thanks @ben-schwen
  • removed curl package related workarounds in CI

@jangorecki jangorecki merged commit 4bf4ef3 into master Dec 6, 2023
@jangorecki jangorecki deleted the ci-dev branch December 6, 2023 16:45
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