ci: Cache arduino IDE.

Signed-off-by: Abdelatif Guettouche <[email protected]>

Author: Ouss4

Diff for: .github/workflows/push.yml

@@ -30,8 +30,10 @@ jobs:
       id: cache-linux
       uses: actions/cache@v2
       with:
-        path: ./tools/dist
-        key: ${{ runner.os }}-${{ hashFiles('package/package_esp32_index.template.json', 'tools/get.py') }}
+        path: |
+          ./tools/dist
+          /home/runner/arduino_ide
+        key: ${{ runner.os }}-${{ hashFiles('package/package_esp32_index.template.json', 'tools/get.py', '.github/scripts/install-arduino-ide.sh') }}
     - name: Build Sketches
       run: bash ./.github/scripts/on-push.sh ${{ matrix.chunk }} 15