Merge branch 'dev'

MuggleWei · Nov 9, 2023 · 2646204 · 2646204
2 parents e395723 + e05bb16
commit 2646204
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dep_modules/mugglec.yml b/dep_modules/mugglec.yml
@@ -23,7 +23,7 @@ jobs:
             -DBUILD_SHARED_LIBS=ON \
             -DCMAKE_INSTALL_PREFIX=${HPB_OUTPUT_DIR};
           cmake --build ${HPB_BUILD_DIR} --config ${build_type};
-          cmake --build ${HPB_BUILD_DIR} --target install;
+          cmake --build ${HPB_BUILD_DIR} --config ${build_type} --target install;
   package:
     needs: [build]
     steps: