[Freemint-discuss] Github workflow dispatch events

[Thorsten O. <ad...@th...>]

Hi,

I've just added github workflow dispatch events to some repos (qed, toswin2, 
teradesk, cops). That allows you to trigger a rebuild of the current snapshot 
without having to push anything to the repo. Useful mainly if some of the 
prerequisites had changed (mintlib, gemlib, cflib etc.)

To use it, go to the "Actions" tab in the web interface, then select the 
"Linux build" action. You should see something like



Then just click on "Run workflow" to trigger a new run.