1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00
Commit Graph

3 Commits

Author SHA1 Message Date
Federico Fissore
a62dcc2804 PR Autobuild: removed useless final echos 2014-08-25 18:19:05 +02:00
Federico Fissore
b12e659c7c PR Autobuild: fixed artifact name 2014-08-25 18:18:03 +02:00
Federico Fissore
a5ea0a9d01 Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00