1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 3e78a64..7cf9433 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![CI](https://ci.tojo.tokyo/badge/lean-acl2.svg)](https://ci.tojo.tokyo/jobs/lean-acl2)
+[![CI](https://ci.tojo.tokyo/badge/learn-acl2.svg)](https://ci.tojo.tokyo/jobs/learn-acl2)
 
 # ACL2 の学習用のリポジトリ