add status badge for windows build, remove windows build from Azure pipelines

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

azure-pipelines.yml

@@ -183,63 +183,6 @@ jobs:
       - template: scripts/test-regressions.yml
          
 
-- job: "WindowsLatest"
-  displayName: "Windows"
-  pool: 
-    vmImage: "windows-latest"
-  strategy:
-    matrix:
-      x86:
-        arch: 'x86'
-        setupCmd1: ''
-        setupCmd2: ''
-        setupCmd3: ''
-        bindings: '$(cmakePy)'
-        runTests: 'False'
-      x64:
-        arch: 'x64'
-        setupCmd1: 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\"))"'
-        setupCmd2: 'julia -e "using libcxxwrap_julia_jll; print(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path))" > tmp.env'
-        setupCmd3: 'set /P JlCxxDir=<tmp.env'
-        bindings:  '-DJlCxx_DIR=%JlCxxDir%\..\lib\cmake\JlCxx $(cmakeJava) $(cmakeNet) $(cmakePy) -DCMAKE_BUILD_TYPE=RelWithDebInfo'
-        runTests:  'False'
-      arm64:
-        arch: 'amd64_arm64'
-        setupCmd1: ''
-        setupCmd2: ''
-        setupCmd3: ''
-        bindings: ''
-        runTests: 'False'
-  steps:
-    - script: md build
-    - script: |
-         cd build
-         $(setupCmd1)
-         $(setupCmd2)
-         $(setupCmd3)
-         call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch)
-         cmake $(bindings) -G "NMake Makefiles" ../
-         nmake
-         cd ..
-    - script: |
-         call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch)
-         pushd build\python
-         python z3test.py z3
-         python z3test.py z3num
-         popd
-         pushd build
-         nmake cpp_example
-         examples\cpp_example_build_dir\cpp_example.exe
-         nmake c_example
-         examples\c_example_build_dir\c_example.exe
-         nmake test-z3
-         test-z3.exe -a
-         popd
-      condition: eq(variables['runTests'], 'True')
-    - script: |
-         git clone https://github.com/z3prover/z3test z3test
-         python z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
-      condition: eq(variables['runTests'], 'True')
 
          
 - job: "MacOSPython"