From b9bec1861a9c5f25cd6585b6a90f68ad3277c3f6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 3 Feb 2024 16:08:31 -0800
Subject: [PATCH] copy over dotnet files

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 3b84235b0..b4db84449 100644
--- 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)/.