From 62fcd1d031c70c22dccea3efc1d3e684a82e3810 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 17 Aug 2022 15:57:37 +0900 Subject: README: CI のバッチのパスを修正 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 の学習用のリポジトリ -- cgit v1.2.3