From 4c96bee67bfb4be3d86dcb407599c22283a3ca4d Mon Sep 17 00:00:00 2001 From: dajiaohuang Date: Fri, 16 Oct 2026 18:41:10 +0800 Subject: [PATCH] docs: point build badge to GitHub Actions --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4f13227a..1d1425e4 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # Interaction Trees [![project chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://coq.zulipchat.com/#narrow/stream/394939-Interaction-Trees) -[![BUILD](https://circleci.com/gh/DeepSpec/InteractionTrees.svg?style=shield)](https://circleci/gh/DeepSpec/InteractionTrees) +[![Docker CI](https://github.com/DeepSpec/InteractionTrees/actions/workflows/docker-action.yml/badge.svg)](https://github.com/DeepSpec/InteractionTrees/actions/workflows/docker-action.yml) A Library for Representing Recursive and Impure Programs in Coq