Make the engine compile on Windows + CI

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

201 stars 21 forks source link

Make the engine compile on Windows + CI #401

Open W95Psp opened 11 months ago

W95Psp commented 11 months ago

Last time I checked, the engine was not compiling on Windows, but I checked only through GitHub Actions. Testing with a Windows machine or a VM would be much more effective.

We should also add compilation and tests under Windows to the CI: #4

github-actions[bot] commented 2 months ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

W95Psp commented 1 month ago

@franziskuskiefer shall we close this one? I think we should either close it or plan work on that, otherwise the issue will just stay forever. We have no current need for Windows build, so I don't see this being a priority, and I don't see anyone that work on hax just pick that as a fun issue or something 😅