smartly use caches

Randomblock1 · Dec 15, 2020 · 10a6843 · 10a6843
1 parent f433160
commit 10a6843
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -27,15 +27,21 @@ runs:
     - name: get theos
       shell: bash
       run: |
+        if [ ! -d "${{ github.workspace }}/${{ inputs.theos-dir }} ]; then
         git clone ${{ inputs.theos-src }} ${{ github.workspace }}/${{ inputs.theos-dir }} --recursive
         echo "Theos successfully obtained!"
+        else echo "Theos already cached, skipping..."
+        fi
 
     - name: get sdks
       shell: bash
       run: |
+        if [ ! -d "${{ github.workspace }}/${{ inputs.theos-dir }}/sdks ]; then
         cd ${{ github.workspace }}/${{ inputs.theos-dir }}/sdks
         curl -sLO ${{ inputs.theos-sdks }}/archive/master.zip
         TMP=$(mktemp -d)
         7z x master.zip -o$TMP
         mv $TMP/*-master/*.sdk $THEOS/sdks
         rm -r master.zip $TMP
+        else echo "Theos SDKs already cached, skipping..."
+        fi