diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 5d633dc4b..11d95ea98 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -69,7 +69,7 @@ jobs: inputs: gitHubConnection: Z3GitHub repositoryName: 'Z3Prover/z3' - action: 'edit' + action: 'create' target: '$(Build.SourceVersion)' tagSource: 'manual' tag: 'Nightly'