search

digama0 / mmj2

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

Set up github actions for automatic build and deploy #41

Open digama0 opened 4 years ago

digama0 commented 4 years ago

A lot of issues are being caused by the lack of prompt binary releases. It is possible to set up github actions so that it will automatically build mmj2 and create a "release" for the latest version. @david-a-wheeler could I tempt you to try setting this up? My time for mmj2 maintenance is very little these days.

david-a-wheeler commented 4 years ago

Yes, I can be tempted :-). I got compilation working with relatively little trouble.

I don't know if GitHub actions are the right way to do this, but I'll check it out.

digama0 commented 4 years ago

Travis would also work, but I think github actions has more freedom to publish releases. I don't mind either way.

david-a-wheeler commented 4 years ago

That makes sense.

This would actually be related to my work to make mmj2 / Metamath much easier to install. The release should be both easy to create AND easy to install.