From 73d1d23314acc3574744dbbbdae8129beba71750 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Grome=C5=A1?= <jgromes@users.noreply.github.com>
Date: Tue, 1 Sep 2020 09:41:09 +0200
Subject: [PATCH] [QL] Fix arduino-cli install

---
 .github/workflows/codeql-analysis.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
index 38bb3fbf..8f61f694 100644
--- a/.github/workflows/codeql-analysis.yml
+++ b/.github/workflows/codeql-analysis.yml
@@ -35,17 +35,22 @@ jobs:
       with:
          languages: ${{ matrix.language }}
     
-    - name: Setup arduino-cli
+    - name: Install arduino-cli
       run:
         |
         mkdir -p ~/.local/bin
         echo "::add-path::~/.local/bin"
         curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | BINDIR=~/.local/bin sh
+        
+        
+    
+    - name: Install platform
+      run:
+        |
         arduino-cli core update-index
         arduino-cli core install arduino:avr
      
     - name: Build examples
-      if: ${{ env.run-build == 'true' }}
       run:
         |
         for example in $(find $PWD/examples -name '*.ino' | sort); do