Skip to content

Commit a8677a0

Browse files
authored
Merge branch 'master' into release/v3.1.x
2 parents 8352caf + ef5c6b9 commit a8677a0

File tree

1 file changed

+2
-8
lines changed

1 file changed

+2
-8
lines changed

Diff for: .github/scripts/on-release.sh

+2-8
Original file line numberDiff line numberDiff line change
@@ -352,12 +352,9 @@ export PATH="/home/runner/bin:$PATH"
352352
source ./.github/scripts/install-arduino-cli.sh
353353

354354
echo "Testing $PACKAGE_JSON_DEV install ..."
355-
echo "Updating index ..."
356-
arduino-cli core update-index --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_DEV"
357-
if [ $? -ne 0 ]; then echo "ERROR: Failed to update index ($?)"; exit 1; fi
358355

359356
echo "Installing esp32 ..."
360-
arduino-cli core install esp32:esp32
357+
arduino-cli core install esp32:esp32 --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_DEV"
361358
if [ $? -ne 0 ]; then echo "ERROR: Failed to install esp32 ($?)"; exit 1; fi
362359

363360
echo "Compiling example ..."
@@ -372,12 +369,9 @@ echo "Test successful!"
372369

373370
if [ "$RELEASE_PRE" == "false" ]; then
374371
echo "Testing $PACKAGE_JSON_REL install ..."
375-
echo "Updating index ..."
376-
arduino-cli core update-index --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_REL"
377-
if [ $? -ne 0 ]; then echo "ERROR: Failed to update index ($?)"; exit 1; fi
378372

379373
echo "Installing esp32 ..."
380-
arduino-cli core install esp32:esp32
374+
arduino-cli core install esp32:esp32 --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_REL"
381375
if [ $? -ne 0 ]; then echo "ERROR: Failed to install esp32 ($?)"; exit 1; fi
382376

383377
echo "Compiling example ..."

0 commit comments

Comments
 (0)