diff --git a/README.md b/README.md
index 3a4d298a4..34320f715 100644
--- 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