From c8aab1972abafecb8ddda3fcb5357cf6f75fbe26 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 27 Jan 2021 16:05:41 -0800 Subject: [PATCH] have nightly generate doc Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 7785cd369..c0fa4c5eb 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -28,9 +28,6 @@ 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: generate-doc.yml - - script: zip api.zip doc/api/. - - script: cp api.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@0 inputs: artifactName: 'Ubuntu' @@ -54,7 +51,7 @@ stages: make -j3 test-z3 ./ml_example cd .. - - template: scripts/generate-doc.yml + - template: generate-doc.yml - script: zip api.zip doc/api/. - script: cp api.zip $(Build.ArtifactStagingDirectory)/. - task: PublishPipelineArtifact@0