File tree 1 file changed +2
-8
lines changed
1 file changed +2
-8
lines changed Original file line number Diff line number Diff line change @@ -366,12 +366,9 @@ export PATH="/home/runner/bin:$PATH"
366
366
source ./.github/scripts/install-arduino-cli.sh
367
367
368
368
echo " Testing $PACKAGE_JSON_DEV install ..."
369
- echo " Updating index ..."
370
- arduino-cli core update-index --additional-urls " file://$OUTPUT_DIR /$PACKAGE_JSON_DEV "
371
- if [ $? -ne 0 ]; then echo " ERROR: Failed to update index ($? )" ; exit 1; fi
372
369
373
370
echo " Installing esp32 ..."
374
- arduino-cli core install esp32:esp32
371
+ arduino-cli core install esp32:esp32 --additional-urls " file:// $OUTPUT_DIR / $PACKAGE_JSON_DEV "
375
372
if [ $? -ne 0 ]; then echo " ERROR: Failed to install esp32 ($? )" ; exit 1; fi
376
373
377
374
echo " Compiling example ..."
@@ -386,12 +383,9 @@ echo "Test successful!"
386
383
387
384
if [ " $RELEASE_PRE " == " false" ]; then
388
385
echo " Testing $PACKAGE_JSON_REL install ..."
389
- echo " Updating index ..."
390
- arduino-cli core update-index --additional-urls " file://$OUTPUT_DIR /$PACKAGE_JSON_REL "
391
- if [ $? -ne 0 ]; then echo " ERROR: Failed to update index ($? )" ; exit 1; fi
392
386
393
387
echo " Installing esp32 ..."
394
- arduino-cli core install esp32:esp32
388
+ arduino-cli core install esp32:esp32 --additional-urls " file:// $OUTPUT_DIR / $PACKAGE_JSON_REL "
395
389
if [ $? -ne 0 ]; then echo " ERROR: Failed to install esp32 ($? )" ; exit 1; fi
396
390
397
391
echo " Compiling example ..."
You can’t perform that action at this time.
0 commit comments