nuitka -> nuitka3

ftsrg · Nov 9, 2024 · f3ae1c3 · f3ae1c3
1 parent 2897b8e
commit f3ae1c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
@@ -36,7 +36,7 @@ runs:
       shell: bash
       run: |
         cd specification-transformation
-        nuitka --onefile --standalone --include-data-dir="cpachecker=cpachecker" src/specification-transformation.py 
+        nuitka3 --onefile --standalone --include-data-dir="cpachecker=cpachecker" src/specification-transformation.py 
     - name: Upload results
       uses: actions/upload-artifact@b4b15b8c7c6ac21ea08fcf65892d2ee8f75cf882 # v3.1.2
       with: