Fix an error in CI

TheVeryDarkness · Oct 28, 2023 · afa2a92 · afa2a92
1 parent 4a99f76
commit afa2a92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -163,7 +163,7 @@ jobs:
               "z3++.h", "z3.h", "z3_algebraic.h", "z3_api.h", "z3_ast_containers.h", "z3_fixedpoint.h", "z3_fpa.h", "z3_macros.h", "z3_optimization.h", "z3_polynomial.h", "z3_rcf.h", "z3_spacer.h", "z3_v1.h", "z3_version.h"
           ]
           FROM = Path(r"${{ env.VCPKG_ROOT }}/installed/${{ matrix.vcpkg_triplet }}")
-          TO = Path(r"${{ github.workspace }}/{{ matrix.vcpkg_triplet }}")
+          TO = Path(r"${{ github.workspace }}/${{ matrix.vcpkg_triplet }}")
           LIB = Path(r"${{ matrix.lib }}")
           
           print("`include` dir:", listdir(FROM / "include"))