Added guards to not rebuild specification-transformation all the time

ftsrg · Nov 10, 2024 · e93ac4b · e93ac4b
1 parent f983e59
commit e93ac4b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
@@ -5,18 +5,21 @@ runs:
     - name: Checkout repository
       uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
     - name: Setup java 17
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') == '' }}
       uses: actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2 # v3.11.0
       with:
         distribution: temurin
         java-version: 17
     - name: Checkout specification-transformation
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') == '' }}
       shell: bash
       run: |
         git clone https://gitlab.com/sosy-lab/software/specification-transformation.git specification-transformation
         cd specification-transformation
         git checkout d966deb4ea0e34c1bc658d7c979a032340c93b13 # Fri Nov 8 10:43:02 2024 
         git apply $GITHUB_ACTION_PATH/patch.diff
     - name: Build cpachecker
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') == '' }}
       shell: bash
       run: |
         cd specification-transformation/lib
@@ -30,14 +33,22 @@ runs:
         mv lib/cpachecker/config cpachecker/
         mv lib/cpachecker/cpachecker.jar cpachecker/
     - name: Install nuitka
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') == '' }}
       shell: bash
       run: |
         sudo apt update && sudo apt -y --no-install-recommends install nuitka libfuse2
     - name: Run nuitka
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') == '' }}
       shell: bash
       run: |
         cd specification-transformation
         bash -c "yes yes || true" | nuitka3 --onefile --standalone --include-data-dir="cpachecker=cpachecker" src/specification-transformation.py 
+    - name: Move if exists
+      if: ${{ hashFiles(env.GITHUB_ACTION_PATH + '/specification-transformation.bin') != '' }}
+      shell: bash
+      run: |
+        mkdir specification-transformation
+        mv $GITHUB_ACTION_PATH/specification-transformation.bin specification-transformation/
     - name: Upload results
       uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v3.1.2
       with: