adding spec

ftsrg · Nov 10, 2024 · f983e59 · f983e59
1 parent 269b6e6
commit f983e59
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
@@ -27,6 +27,7 @@ runs:
         cd ../../
         mkdir cpachecker/runtime -p
         mv lib/cpachecker/lib/java/runtime/*.jar cpachecker/runtime/
+        mv lib/cpachecker/config cpachecker/
         mv lib/cpachecker/cpachecker.jar cpachecker/
     - name: Install nuitka
       shell: bash