Merge pull request #1172 from GaloisInc/fix-gha-readme-badge

Use correct link for GitHub Actions README badge
GaloisInc · Apr 21, 2021 · 867096c · 867096c
2 parents cd0748c + 1681707
commit 867096c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-[![Cryptol](https://github.com/GaloisInc/cryptol/actions/workflows/build.yml/badge.svg?event=push)](https://github.com/GaloisInc/cryptol/actions/workflows/ci.yml)
+[![Cryptol](https://github.com/GaloisInc/cryptol/workflows/Cryptol/badge.svg)](https://github.com/GaloisInc/cryptol/actions?query=workflow%3ACryptol)
 
 # Cryptol, version 2