mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

continue on error in deploy

Browse source
This commit is contained in:
jofleish 2022-03-23 12:31:35 -04:00
parent 3ffc3c2f97
commit b8c61ca278
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/nightly.yaml
View file

@ -396,6 +396,7 @@ stages:
jobs: jobs:
- job: Deploy - job: Deploy
displayName: "Deploy into GitHub" displayName: "Deploy into GitHub"
continueOnError: true
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
steps: steps: