goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
7 stars 4 forks source link

Add GitHub Actions workflow to build and upload artifact #6

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

This should make it easier for anyone to download and use the plugin directly without having to set up Maven and NPM and do both builds locally.