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: