1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Don't require user interaction when building the dist target

This commit is contained in:
Thomas L. Kjeldsen 2020-01-31 12:52:19 +01:00
parent c630dc0b92
commit ab8471d562

View File

@ -15,7 +15,9 @@ jobs:
java-version: 1.8
- name: Build with Ant
working-directory: ./build
run: ant clean dist
run: |
sed -i 's#<input .*/>##' build.xml
ant clean dist
- name: Run tests
working-directory: ./app
run: ant test