Merge pull request #28 from dafny-lang/fix-codecov-uri

Fixed the URIs pointing to codecov reports.
dafny-lang · Nov 19, 2020 · 077cebf · 077cebf
2 parents 5ce86de + 1d6d743
commit 077cebf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 # DafnyLS
 
 [![.NET Core](https://github.com/dafny-lang/language-server-csharp/workflows/.NET%20Core/badge.svg)](https://github.com/dafny-lang/language-server-csharp/actions?query=workflow%3A%22.NET+Core%22)
-[![Code coverage](https://codecov.io/github/DafnyVSCode/language-server-csharp/branch/master/graph/badge.svg)](https://codecov.io/github/DafnyVSCode/language-server-csharp/branch/master)
+[![Code coverage](https://codecov.io/gh/dafny-lang/language-server-csharp/branch/master/graph/badge.svg)](https://codecov.io/gh/dafny-lang/language-server-csharp/branch/master)
 
 *DafnyLS* is a [language server](https://microsoft.github.io/language-server-protocol/) for [Dafny](https://github.com/dafny-lang/dafny). It is implemented in C# on .NET Core 3.1 with OmniSharp's [C# Language Server Protocol](https://github.com/OmniSharp/csharp-language-server-protocol).