diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
index 3ec7c5b736..48e8b60433 100644
--- a/.github/actions/build-spec-transformation/action.yml
+++ b/.github/actions/build-spec-transformation/action.yml
@@ -10,13 +10,13 @@ runs:
         echo ${{ 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: ! env.file_exists
+      if: env.file_exists == 'false'
       uses: actions/setup-java@5ffc13f4174014e2d4d4572b3d74c3fa61aeb2c2 # v3.11.0
       with:
         distribution: temurin
         java-version: 17
     - name: Checkout specification-transformation
-      if: ! env.file_exists
+      if: env.file_exists == 'false'
       shell: bash
       run: |
         git clone https://gitlab.com/sosy-lab/software/specification-transformation.git specification-transformation
@@ -24,7 +24,7 @@ runs:
         git checkout d966deb4ea0e34c1bc658d7c979a032340c93b13 # Fri Nov 8 10:43:02 2024 
         git apply $GITHUB_ACTION_PATH/patch.diff
     - name: Build cpachecker
-      if: ! env.file_exists
+      if: env.file_exists == 'false'
       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: ! env.file_exists
+      if: env.file_exists == 'false'
       shell: bash
       run: |
         sudo apt update && sudo apt -y --no-install-recommends install nuitka libfuse2
     - name: Run nuitka
-      if: ! env.file_exists
+      if: env.file_exists == 'false'
       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: env.file_exists
+      if: env.file_exists == 'true'
       shell: bash
       run: |
         mkdir specification-transformation