From 127f2d1c75407f855d1b7e5839194ee23aedb2a2 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Fri, 22 Dec 2023 12:02:49 +0100 Subject: [PATCH] fix README.md Nix shield --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 01e5626..7e1dd90 100644 --- a/README.md +++ b/README.md @@ -15,8 +15,8 @@ Follow the instructions on https://github.com/coq-community/templates to regener [docker-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml/badge.svg?branch=v8.19 [docker-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/docker-action.yml -[nix-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-ci.yml/badge.svg?branch=v8.19 -[nix-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-ci.yml +[nix-action-shield]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml/badge.svg?branch=v8.19 +[nix-action-link]: https://github.com/coq-community/aac-tactics/actions/workflows/nix-action.yml [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md