mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
Update nightly nuget service connection
This commit is contained in:
parent
8273a20498
commit
7bf2df1b7a
|
@ -3,7 +3,7 @@ variables:
|
|||
Major: '4'
|
||||
Minor: '8'
|
||||
Patch: '16'
|
||||
NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)-$(Build.DefinitionName)
|
||||
NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildNumber)-$(Build.DefinitionName)
|
||||
MacFlags: 'CXXFLAGS="-arch arm64 -arch x86_64" LINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" SLINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" FPMATH_ENABLED=False'
|
||||
|
||||
stages:
|
||||
|
@ -471,6 +471,7 @@ stages:
|
|||
steps:
|
||||
- task: NuGetAuthenticate@0
|
||||
displayName: 'NuGet Authenticate'
|
||||
inputs: 'Z3-nightly public nuget feed'
|
||||
- task: NuGetToolInstaller@0
|
||||
inputs:
|
||||
versionSpec: 5.x
|
||||
|
|
Loading…
Reference in a new issue