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

[CI] Removed redundant double quotes

pull/180/head
Jan Gromeš 2020-08-22 11:46:52 +02:00 zatwierdzone przez GitHub
rodzic 341cdcd6e3
commit d7043befea
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

@ -20,7 +20,7 @@ jobs:
runs-on: ubuntu-latest
env:
run-build: ${{ (matrix.board == 'arduino:avr:uno') || "contains(github.event.head_commit.message, 'CI_FORCE_BUILD'" || "contains(github.event.head_commit.message, 'Bump version to'" }}
run-build: ${{ (matrix.board == 'arduino:avr:uno') || contains(github.event.head_commit.message, 'CI_FORCE_BUILD' || contains(github.event.head_commit.message, 'Bump version to' }}
steps:
- name: Install arduino-cli