From 8e6f0f1c0b1cbc55ba10ef42274b4536d155fc8a Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 1 Aug 2021 02:07:57 +0900
Subject: README: Add a badge.

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

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 で証明した定理を置く場所です。
-- 
cgit v1.2.3