From d08814a1fe4c0d504414ee8aa29a04c3b59c6564 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 27 Jan 2021 15:57:01 -0800
Subject: [PATCH] have nightly generate doc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/nightly.yaml | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 089855ce4..878fbf607 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -28,11 +28,15 @@ stages:
- script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
+ - template: scripts/generate-doc.yml
+ - script: zip api.zip doc/api/.
+ - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
- task: PublishPipelineArtifact@0
inputs:
artifactName: 'Ubuntu'
targetPath: $(Build.ArtifactStagingDirectory)
+
- job: Manylinux
displayName: "Manylinux build"
pool: