Update release.yml for Azure Pipelines
centos -> glibc
move to python3 for release.yml Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Update release.yml for Azure Pipelines disable pypi republish for 4.8
upgrade pip Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
temporary remove delete from nightly Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
update to pypirc Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
fix Z3Prover#2309 Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
new tag