Skip to content

Commit 7fd6aa7

Browse files
Fix AppVeyor badge
1 parent 46ed247 commit 7fd6aa7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ SPDX-License-Identifier: Apache-2.0
1111
# JavaSMT
1212

1313
[![Build Status](https://gitlab.com/sosy-lab/software/java-smt/badges/master/pipeline.svg)](https://gitlab.com/sosy-lab/software/java-smt/pipelines)
14-
[![Build Status on Windows](https://ci.appveyor.com/api/projects/status/uehe0fwa8bil8sha/branch/master?svg=true)](https://ci.appveyor.com/project/PhilippWendler/java-smt/branch/master)
14+
[![Build Status on Windows](https://ci.appveyor.com/api/projects/status/08sy37awx7kvflo7/branch/master?svg=true)](https://ci.appveyor.com/project/sosy-lab/java-smt/branch/master)
1515
![Test Coverage](https://gitlab.com/sosy-lab/software/java-smt/badges/master/coverage.svg)
1616
[![Apache 2.0 License](https://img.shields.io/badge/license-Apache--2-brightgreen.svg?style=flat)](https://www.apache.org/licenses/LICENSE-2.0)
1717
[![Maven Central](https://maven-badges.herokuapp.com/maven-central/org.sosy-lab/java-smt/badge.svg)](https://maven-badges.herokuapp.com/maven-central/org.sosy-lab/java-smt)

0 commit comments

Comments
 (0)