From 3d4a43f07be6117789331b65053070f169c24e6f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Jan 2021 16:04:08 -0800 Subject: [PATCH] have nightly generate doc Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 8e167099b..7785cd369 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -28,7 +28,7 @@ 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 + - template: generate-doc.yml - script: zip api.zip doc/api/. - script: cp api.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@0