search

digama0 / mmj2

mmj2 GUI Proof Assistant for the Metamath project
GNU General Public License v2.0
72 stars 24 forks source link

Add a CI build for Windows #74

Open tirix opened 8 months ago

tirix commented 8 months ago

With several issues like #71 , #72 and #73 reported, maybe it would be good to add a windows install/build to the CI, using other installation procedures than the maven build.