Fix GitHub CI on release (MeasureTransport#405)

MMRROOO · Apr 1, 2024 · 66dbc3d · 66dbc3d
1 parent 6e84606
commit 66dbc3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build-bindings.yml b/.github/workflows/build-bindings.yml
@@ -48,7 +48,7 @@ jobs:
 
       - name: Setup Julia
         run: |
-          julia -e "using Pkg; Pkg.add([\"CxxWrap\",\"TestReports\"])"
+          julia -e "using Pkg; Pkg.add([Pkg.PackageSpec(;name=\"CxxWrap\",version=v\"0.14.2\"),Pkg.PackageSpec(;name=\"TestReports\")])"
           export GITHUB_JULIA_PATH=$(julia -e "println(DEPOT_PATH[1])")
           echo -n $'[bee5971c-294f-5168-9fcd-9fb3c811d495]\nMParT = \"' >> $GITHUB_JULIA_PATH/artifacts/Overrides.toml
           echo -n $GITHUB_WORKSPACE                                     >> $GITHUB_JULIA_PATH/artifacts/Overrides.toml