Open MartinKarjus opened 5 years ago
script that pulls from git and builds+runs bot again if there were any changes?
script that pulls from git and builds+runs bot again if there were any changes?