mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-03 00:28:06 +00:00
Code Activity

Attempt at adding the README to the NuGet package (#7807)

Browse source 
* Attempt at adding README to NuGet package

* Forgot to enable publishing
This commit is contained in:
Solal Pirelli 2025-08-23 20:15:51 +02:00 • committed by GitHub
parent 64419ad85b
commit 4792068517
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
scripts/release.yml
View file

@ -261,9 +261,9 @@ stages:
artifact: 'MacArm64'
path: $(Agent.TempDirectory)\package
- task: NuGetToolInstaller@0
- task: NuGetToolInstaller@1
inputs:
versionSpec: 5.x
versionSpec: 6.x
checkLatest: false
- task: PythonScript@0
displayName: 'Python: assemble files'
@ -305,9 +305,9 @@ stages:
inputs:
artifact: 'WindowsBuild-x86'
path: $(Agent.TempDirectory)\package
- task: NuGetToolInstaller@0
- task: NuGetToolInstaller@1
inputs:
versionSpec: 5.x
versionSpec: 6.x
checkLatest: false
- task: PythonScript@0
displayName: 'Python: assemble files'
@ -471,7 +471,7 @@ stages:
- job: NuGetPublish
condition: eq(1,0)
condition: eq(1,1)
displayName: "Publish to NuGet.org"
steps:
- task: DownloadPipelineArtifact@2
@ -479,9 +479,9 @@ stages:
inputs:
artifact: 'NuGetPackage'
path: $(Agent.TempDirectory)
- task: NuGetToolInstaller@0
- task: NuGetToolInstaller@1
inputs:
versionSpec: 5.x
versionSpec: 6.x
checkLatest: false
- task: NuGetCommand@2
inputs: