[CI] Changed input name

pull/180/head
Jan Gromeš 2020-08-22 12:29:48 +02:00 zatwierdzone przez GitHub
rodzic e4e2de8c49
commit af0e081328
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -42,7 +42,7 @@ jobs:
id: split
with:
msg: ${{ matrix.board }}
separator: ':'
seperator: ':'
- name: Install platform
if: ${{ env.run-build == 'true' }}