From 16fa1fa5db13e6f48b41fc21088b9f358fea6795 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner <nbjorner@microsoft.com> Date: Thu, 6 Jun 2019 17:42:10 -0700 Subject: [PATCH] remove and Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com> --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 808b24034..9daa16c1e 100644 --- a/README.md +++ b/README.md @@ -15,9 +15,9 @@ See the [release notes](RELEASE_NOTES) for notes on various stable releases of Z ## Build status -| Windows x64 | Windows x86 | Windows x64 | Ubuntu x64 | Debian x64 | macOS | TravisCI | +| Z3Build-CI | Windows x86 | Windows x64 | Ubuntu x64 | Debian x64 | macOS | TravisCI | | ----------- | ----------- | ----------- | ---------- | ---------- | ----- | -------- | -[](https://z3build.visualstudio.com/Z3Build/_build/index?definitionId=4) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=4) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=7) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=3) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=5) | [](https://cz3.visualstudio.com/Z3/_build/latest?definitionId=2) | [](https://travis-ci.org/Z3Prover/z3) +[](https://z3build.visualstudio.com/Z3Build/_build/latest?definitionId=10) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=4) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=7) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=3) | [](https://cz3.visualstudio.com/Z3/_build/index?definitionId=5) | [](https://cz3.visualstudio.com/Z3/_build/latest?definitionId=2) | [](https://travis-ci.org/Z3Prover/z3) [1]: #building-z3-on-windows-using-visual-studio-command-prompt [2]: #building-z3-using-make-and-gccclang