3 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	84b86ac8d2	updated ref to esrp ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2021-06-04 15:13:34 -07:00
Nikolaj Bjorner	987efced76	upgrade compilers	2021-01-21 14:25:08 -08:00
Andrew Helwer	ea3b149575	Script assembly signing & NuGet package creation in Azure Pipelines (#2862) ... Windows x86/x64 builds now parallelized Windows assemblies now signed NuGet package created NuGet package signed NuGet package published to NuGet.org	2020-01-16 18:34:01 -08:00