Add status badge for Azure release pipeline.

tlaplus · Jun 12, 2019 · 10b4f35 · 10b4f35
1 parent c3a03e7
commit 10b4f35
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -28,3 +28,8 @@ Before submitting your request make sure that:
 * Your contribution is relevant to the project and actually adds some value.
 
 We take the discretion to approve or reject submissions at our will.
+
+Download
+--------
+
+[![Build Status](https://dev.azure.com/tlaplus/tlaplus/_apis/build/status/tlaplus.CommunityModules?branchName=master)](https://dev.azure.com/tlaplus/tlaplus/_build/latest?definitionId=4&branchName=master)