Added env step

ftsrg · Nov 10, 2024 · 1a530bd · 1a530bd
1 parent 4caa36b
commit 1a530bd
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
@@ -8,23 +8,23 @@ runs:
       shell: bash
       run: |
         echo ${{ format('{0}/{1}', github.action_path, 'specification-transformation.bin') }}
-        ls -l ${{ format('{0}/{1}', github.action_path, 'specification-transformation.bin') }}
+        ls -l ${{ format('{0}/{1}', github.action_path, 'specification-transformation.bin') }} && echo "file_exists=true" >> "$GITHUB_ENV" ||  && echo "file_exists=false" >> "$GITHUB_ENV"
     - name: Setup java 17
-      if: ${{ hashFiles(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) == '' }}
+      if: ! env.file_exists
       uses: actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2 # v3.11.0
       with:
         distribution: temurin
         java-version: 17
     - name: Checkout specification-transformation
-      if: ${{ hashFiles(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) == '' }}
+      if: ! env.file_exists
       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(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) == '' }}
+      if: ! env.file_exists
       shell: bash
       run: |
         cd specification-transformation/lib
@@ -38,18 +38,18 @@ runs:
         mv lib/cpachecker/config cpachecker/
         mv lib/cpachecker/cpachecker.jar cpachecker/
     - name: Install nuitka
-      if: ${{ hashFiles(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) == '' }}
+      if: ! env.file_exists
       shell: bash
       run: |
         sudo apt update && sudo apt -y --no-install-recommends install nuitka libfuse2
     - name: Run nuitka
-      if: ${{ hashFiles(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) == '' }}
+      if: ! env.file_exists
       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(format('{0}/{1}', github.action_path, 'specification-transformation.bin')) != '' }}
+      if: env.file_exists
       shell: bash
       run: |
         mkdir specification-transformation