1 files changed, 2 insertions, 0 deletions

diff --git a/README.md b/README.md
index 9885615..872f94c 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+[![CI](https://ci.tojo.tokyo/badge/acl2-theorems.svg)](https://ci.tojo.tokyo/jobs/acl2-theorems)
+
 # README
 
 ACL2 で証明した定理を置く場所です。