build Julia for x64

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Jan 30, 2024 · 5d4303f · 5d4303f
1 parent e0bed3b
commit 5d4303f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -205,7 +205,7 @@ stages:
           python scripts\mk_win_dist_cmake.py
             --assembly-version=$(AssemblyVersion)
             --x64-only
-	    --julia
+            --julia
             --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
             --zip
     - task: CopyFiles@2