Add support for building on Windows#64
Add support for building on Windows#64kant2002 wants to merge 7 commits intoleanprover-community:mainfrom
Conversation
|
@joneugster May I have your attention please? |
|
Thanks for the PR! I'll try to have a closer look next week. I'm a bit confused why you want to delete or rename the existing .sh files Also if you extended the existing github actions (under |
|
the only reason why I rename them, so when you run I will take a look at |
|
@joneugster sorry for delay with Windows build, but can allow run this pipeline? |
|
I have approved, but if this just for testing purposes, I think it would be easier if you ran the actions on your own fork. The |
No description provided.