mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
remove period
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
93cbcd00bd
commit
d231913c04
|
@ -35,7 +35,7 @@ jobs:
|
|||
symbolsFolder: '$(Build.ArtifactStagingDirectory)/symbols'
|
||||
searchPattern: '**/*.pdb'
|
||||
indexSources: false # Github sources not supported
|
||||
publishSymbols: true.
|
||||
publishSymbols: true
|
||||
symbolServerType: TeamServices
|
||||
detailedLog: true
|
||||
- task: EsrpCodeSigning@2
|
||||
|
|
Loading…
Reference in a new issue