diff --git a/.github/actions/build-spec-transformation/action.yml b/.github/actions/build-spec-transformation/action.yml
index 5fc1eb3e76..86d8708d00 100644
--- 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