From 9d04c5a969d59329c774aad82b183b59e713f097 Mon Sep 17 00:00:00 2001 From: Lucas Saavedra Vaz <32426024+lucasssvaz@users.noreply.github.com> Date: Wed, 28 Aug 2024 14:56:57 -0300 Subject: [PATCH] fix(release): Fix install test on release --- .github/scripts/on-release.sh | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/.github/scripts/on-release.sh b/.github/scripts/on-release.sh index 992f68fd38b..e0dd7b752c5 100755 --- a/.github/scripts/on-release.sh +++ b/.github/scripts/on-release.sh @@ -366,12 +366,9 @@ export PATH="/home/runner/bin:$PATH" source ./.github/scripts/install-arduino-cli.sh echo "Testing $PACKAGE_JSON_DEV install ..." -echo "Updating index ..." -arduino-cli core update-index --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_DEV" -if [ $? -ne 0 ]; then echo "ERROR: Failed to update index ($?)"; exit 1; fi echo "Installing esp32 ..." -arduino-cli core install esp32:esp32 +arduino-cli core install esp32:esp32 --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_DEV" if [ $? -ne 0 ]; then echo "ERROR: Failed to install esp32 ($?)"; exit 1; fi echo "Compiling example ..." @@ -386,12 +383,9 @@ echo "Test successful!" if [ "$RELEASE_PRE" == "false" ]; then echo "Testing $PACKAGE_JSON_REL install ..." - echo "Updating index ..." - arduino-cli core update-index --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_REL" - if [ $? -ne 0 ]; then echo "ERROR: Failed to update index ($?)"; exit 1; fi echo "Installing esp32 ..." - arduino-cli core install esp32:esp32 + arduino-cli core install esp32:esp32 --additional-urls "file://$OUTPUT_DIR/$PACKAGE_JSON_REL" if [ $? -ne 0 ]; then echo "ERROR: Failed to install esp32 ($?)"; exit 1; fi echo "Compiling example ..."