continue on error in deploy

Z3Prover · Mar 23, 2022 · b8c61ca · b8c61ca
1 parent 3ffc3c2
commit b8c61ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -396,6 +396,7 @@ stages:
   jobs:
   - job: Deploy
     displayName: "Deploy into GitHub"
+    continueOnError: true
     pool:
       vmImage: "ubuntu-latest"
     steps: