mirror
/
RadioLib
kopia lustrzana https://github.com/jgromes/RadioLib
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

[CI] Added missing index URL CI_FORCE_BUILD

pull/180/head
Jan Gromeš 2020-08-22 13:33:13 +02:00 zatwierdzone przez GitHub
rodzic 9e3c12c4b0
commit 6b0b073e02
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
.github/workflows/main.yml vendored
Wyświetl plik

@ -57,7 +57,7 @@ jobs:
if: ${{ env.run-build == 'true' }} if: ${{ env.run-build == 'true' }}
run: | run: |
arduino-cli core update-index ${{ format('{0}', steps.prep.outputs.index-url) }} arduino-cli core update-index ${{ format('{0}', steps.prep.outputs.index-url) }}
arduino-cli core install ${{ format('{0}:{1}', steps.split.outputs._0, steps.split.outputs._1) }} arduino-cli core install ${{ format('{0}:{1} {2}', steps.split.outputs._0, steps.split.outputs._1, steps.prep.outputs.index-url) }}
- name: Checkout repository - name: Checkout repository
if: ${{ env.run-build == 'true' }} if: ${{ env.run-build == 'true' }}