kopia lustrzana https://github.com/jgromes/RadioLib
[CI] Arduino platform versions & ESP32 3.0.x workaround (#1213)
* [CI] Add configurable package version * [CI] Fix package version passing * [CI] Fix swapped logic * [CI] Try esp32 arduino 2.0.17 to fix linker errorspull/1204/head
rodzic
47b8df6874
commit
50996fa661
|
@ -79,6 +79,7 @@ jobs:
|
|||
- id: esp32:esp32:esp32
|
||||
run: |
|
||||
python -m pip install pyserial
|
||||
echo "version=2.0.17" >> $GITHUB_OUTPUT
|
||||
echo "index-url=--additional-urls https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json" >> $GITHUB_OUTPUT
|
||||
- id: esp8266:esp8266:generic
|
||||
run: |
|
||||
|
@ -166,7 +167,11 @@ jobs:
|
|||
run:
|
||||
|
|
||||
arduino-cli core update-index ${{ format('{0}', steps.prep.outputs.index-url) }}
|
||||
arduino-cli core install ${{ format('{0}:{1} {2}', steps.split.outputs._0, steps.split.outputs._1, steps.prep.outputs.index-url) }}
|
||||
if [ -z '${{ steps.prep.outputs.version }}' ]; then
|
||||
arduino-cli core install ${{ format('{0}:{1} {2}', steps.split.outputs._0, steps.split.outputs._1, steps.prep.outputs.index-url) }}
|
||||
else
|
||||
arduino-cli core install ${{ format('{0}:{1}@{3} {2}', steps.split.outputs._0, steps.split.outputs._1, steps.prep.outputs.index-url, steps.prep.outputs.version) }}
|
||||
fi
|
||||
|
||||
- name: Checkout repository
|
||||
if: ${{ env.run-build == 'true' }}
|
||||
|
|
Ładowanie…
Reference in New Issue