copy over dotnet files

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 4, 2024 · b9bec18 · b9bec18
1 parent bc70282
commit b9bec18
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -88,6 +88,7 @@ stages:
                       -DCMAKE_INSTALL_PREFIX=$(name)\
                       -G "Ninja" ../
            ninja install
+           cp -r Microsoft.Z3 $(name)/.
            zip -r $(name).zip $(name)
            cd ..
     - script: cp $(arch)/*.zip $(Build.ArtifactStagingDirectory)/.