mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
Update nightly.yaml
see if this gets us past the upload to GitHub issue
This commit is contained in:
parent
4641a20f4f
commit
db62038845
|
@ -1,5 +1,5 @@
|
|||
variables:
|
||||
ReleaseVersion: '4.8.13'
|
||||
ReleaseVersion: '4.8.14'
|
||||
|
||||
stages:
|
||||
- stage: Build
|
||||
|
@ -287,6 +287,8 @@ stages:
|
|||
jobs:
|
||||
- job: Deploy
|
||||
displayName: "Deploy into GitHub"
|
||||
pool:
|
||||
vmImage: "ubuntu-latest"
|
||||
steps:
|
||||
- task: DownloadPipelineArtifact@2
|
||||
displayName: "Download windows32"
|
||||
|
|
Loading…
Reference in a new issue